(株)proof ninjaが(株)ドワンゴから資金調達を実施

この度、株式会社proof ninja (本社: 東京都板橋区代表取締役: 今井宜洋、以下「当社」)は、2019年10月に新規株主となる株式会社ドワンゴを引受先として、第三者割当増資による資金調達を実施したことをおしらせします。資金調達額は1000万円です。

当社は形式証明で数学的に証明されたソフトウェアを提供することを目指しています。暗号通貨Tezosのコア開発に参加し、関数型プログラミング言語OCamlおよび証明支援器Coqによる開発に力を注いでおります。

調達した資金は証明駆動開発や関数プログラミングの開発促進のために投資することにより、ソフトウェアの高信頼化に貢献していく所存です。

本資金の出資者

お問い合わせ

会社を作って最初にやったことその2 銀行口座開設チャレンジ

法人の銀行口座開設は難しいと聞いていましたが、実際どんどん厳しくなっているようです。
取引先からの入金にも役員報酬(自分への給料)の支払いにも社会保険の支払いにもクレジットカード作成にも法人の銀行口座がないと不便ですので最優先で法人口座開設を取り組みました。

ジャパンネット銀行

  • 09/03(火) 銀行口座解説のWeb申請
  • 09/04(水) 申請書類の印刷、郵送にて送付
  • 09/09(月) 郵送書類到着とのメール受信
  • 09/12(木) 口座開設ダメとの審査結果

第一希望だっただけに残念。

東京ベイ信用金庫

「東京」とついていますが実際は千葉県ローカルの信用金庫。地銀ならば話を聞いてくれるかもと、謄本、印鑑証明、印鑑、事業計画書、法人の事業の契約書のドラフト、税理士との顧問契約書、個人事業主の時の事業を証明する契約書類などを持って行きました。

  • 09/13(金) 門前払い、書類を受け取ることも審査をすることもできないとのこと

千葉銀行

  • 09/13(金) 門前払い、書類を受け取ることも審査をすることもできないとのこと

東京の都銀なら話を聞いてもらえるかもとアドバイスをもらいました。

城北信用金庫

アドバイスに従って会社住所近くの都銀に行きました。

  • 09/13(金) 担当者が不在だが、書類は預かってもらえる
  • 09/18(水) 審査の結果、口座開設ダメとのこと

ゆうちょ銀行なら審査がゆるいためつくりやすいかもとアドバイスをもらいました。

ゆうちょ銀行

アドバイスに従って、会社住所付近の郵便局へ。

  • 09/13(金) 会社近くの窓口に訪問して口座開設申請、審査には2,3週間かかるとのこと
  • 審査結果まち...

住信SBIネット銀行

f:id:yoshihiro503:20190925115614p:plain
住信SBIネット銀行法人口座開設の流れ

  • 09/12(木) Web申請
  • 09/13(金) 申請書類郵送
  • 09/24(火) 会社の登記住所に不備のあった書類の直しが届く (メール連絡なし)
  • 09/25(水) 書類を修正して返送
  • 審査結果待ち...

GMOあおぞらネット銀行

f:id:yoshihiro503:20190928114720p:plain
これはGMO銀行のゆるきゃらのようです

  • 09/12(木) Web申請
  • 09/13(金) 申請書類郵送
  • 09/17(火) 申し込み受付したとのメール受信
  • 09/20(金) 口座開設完了とのメール受信
  • 09/26(木) 会社にキャッシュカードが届く、セブンATMでの預入、引出、インターネットバンキングが可能に!

申請してから8日後に審査結果がわかり、14日後にすべてができるようになりました。マネーフォワードクラウド会計(法人)との連携も可能で税理士さんとの連携もはかどります。手数料もほぼ最安値のためこれをメインで使っていきたいと思います。

三菱UFJ銀行

  • 09/01(日) Webから申し込み
  • 09/02(月) 訪問、膨大な紙の書類に記入・押印
  • 09/18(水) 追加書類を窓口へ出して無事口座開設完了, 通帳で預入が可能に
  • 09/25(水) 自宅にキャッシュカードが届く、ようやく引き出しが可能に
  • インターネットバンキングの書類が届くはず、これで振込が可能になる

申し込んでから17日後に審査結果がわかり、24日後にキャッシュカードを手に入れましたが、まだ自宅から残高を確認したり、振込をしたりといったことはできません。UFJ銀行の法人口座はインターネットバンキングはかなり制限されていて、入出金履歴をみることもできず、毎月の自動振込やマネーフォワードとの連携をすることもできません。

会社を作って最初にやったことその1 謄本の取得など

会社が設立(登記申請)してからやることはたくさんあるようです。私がやったことを時系列順に列挙します。

 

 

 

** やったこと

*** 銀行口座開設のWeb申請

手数料の安いジャパンネット銀行をマネーフォワード経由で申請しました。謄本がなくてもできますが設立(予定)日以降に送信する必要があります。

後日、税務署への届け出(後述)が完了したらその控えを含めた開設書類を郵送する必要があります。

 

*** 自宅(賃貸)を社宅にする手続き
  1. 自宅の固定資産評価証明書を取得
  2. 賃貸契約の名義を法人に変える

2つの手続きが必要です。まずは1. をしました。大家さんじゃなくても市役所に行けば手に入れることができました。

 

*** 謄本、印鑑証明を取得

法務局で登記が完了したら謄本(履歴事項全部証明書)と会社の印鑑証明をとりにいきます。

登記が完了する日は順調ならば3-5営業日程度と聞きましたが、具体的な日は問い合わせる必要があります。

私の場合は、9/2設立から3日後の9/5に受け取ることができました。

 

*** 社会保険の登録

 

これも「新規適用届」はマネーフォワードから書類が生成されます。地図を書く必要がありますが国土地理院のサイトから拝借しました。

年金事務所でできたてほやほやの謄本と必要な申請書類を出しました。

  • 履歴事項全部証明書
  • 健康保険 厚生年金 新規適用届(マネーフォワードから)
  • 被保険者資格取得届: 働く私の保険です
  • 被扶養者届: 子供や家族の扶養です
  • (option) 健康保険被保険者資格証明書交付申請書: 健康保険カードが届く前に病院に行くときに医療費を払わなくていいような証明書がもらえます
  • (option) 決定通知諸島の別送「登録」依頼書、納入告知等の別送依頼書: 郵送物を事務所よりも自宅で受け取りたかったのでこれも出しました

 

保険料の自動振替のためには銀行口座ができたあとに手続きが必要です。

 

*** 税務署、都道府県税事務所へ届け出

マネーフォワード会社設立で必要書類を自動生成してくれる機能がありますが、私の場合は顧問の税理士先生にお願いしました。

謄本と定款のスキャンデータ(PDF)を税理士の先生にメールしてあとはおまかせです。

 

** これからやること

 

*** 銀行口座開設

申請書類を印刷して銀行へ郵送する必要があります。

 

*** クレジットカード作成

ほしい。どこのカードがよいかよくわかってない。

会社を作りました

株式会社proof ninjaという会社を作りました。*1

今日からはこの会社の代表になります。OCamlの達人として名高いcamlspotterさんの
ダイラムダ株式会社 から仕事をもらいます。ブロックチェーンプロトコルTezosを証明して世界一安全な暗号通貨を作るお手伝いができればと考えています。

ガリ*2を卒業して10年とちょっとの間いくつかの会社を経験して今にいたりますがずっとOCamlで開発してCoqで検証するという試みをやってきました。今後はよりいっそうOCamlと証明を書けるように努力していきたいと思います。

よくある質問

  • 引っ越しますか? : 引っ越しません、しばらくは関東の自宅またはその周辺で作業します
  • ニコニコはどうしますか? : 運営からプレミアムユーザーに変わります

欲しいもの

  • Amazon.co.jp
  • 会社ロゴのデザイン
  • 名刺のデザイン

*1:正確にはまだ登記完了していないのでわかりませんが何事もなければ本日設立です

*2:名古屋大学多元数理科学研究科 ガリグ研究室

会社を作ります その2

前回までのあらすじ

yosh.hateblo.jp

あれからさらにやったこと

定款認証

マネーフォワード会社設立 で定款を作成すると提携の行政書士の先生が対応してくださいます。私の場合は行政書士法人TOTALという事務所の先生に丁寧に対応してもらいました。これらを全部無料でやってくださるとのことでマネーフォワードすごいです。

行政書士の先生から「公証役場との打合せを開始する」とメールいただいてから2営業日ほどで
「定款のオンライン申請が完了しました」と連絡がきました。

翌日、公証役場へ電話連絡をして午前のうちに取りに行きました。公証済みの定款が何部必要かわからなかったので3部もらいましたが2部で良かったかも(法務局登記用と自分用)。

資本金払込

ATM手数料が無料になる楽天銀行を使いました。発起人が自分一人の場合は振込じゃなくてATMでの預け入れで資本金を払ったことになるそうです。

地域によっては定款認証の日付以降の処理じゃないとダメなところがあるので注意が必要です。

私は資本金100万円としたかったのですが、セブンATMは一回の預け入れで50枚までしか受け付けません。50万円2回の預け入れとしました。資本金が大きくなるとセブンATMでの預け入れはめんどくさいかもしれません。

f:id:yoshihiro503:20190901103341j:plain
資本金の払込

登記書類の作成

マネーフォワードが必要なものをPDFで用意してくれます。こちらで用意すべきなのは、取締役全員の印鑑証明と上記の通帳のログです。印鑑証明はセブンイレブンで24時間発行できます。便利〜

f:id:yoshihiro503:20190901103434p:plain
登記書類

登記書類のチェック

設立希望日の9月2日まで少し日がありましたが、不備があったら困るのでまずは法務局へ行ってチェックだけしてもらいました。本当は法務局へ前日予約が必要でしたが私の場合はラッキーだったのか当日予約で見てもらいました。マネーフォワードで作った書類はあっさりOKでした。

登記書類の郵送

あとは法務局へ申請するだけです。申請した日(平日に限る)が会社の設立日になります。私の場合は健康保険の手続きを複雑にする無職期間を作りたくなかった(実際は8/31退職で9/1は無職になります)ことと、定款に8月決算と書いてしまったことから9月の最初を設立日としたかったのです。

配達日指定の書留であとは無事届くことを待つのみ。

これからやること

  • 法務局へ登記事項証明書(謄本)を取りに行く: 書類申請から3-5営業日ほどかかるそうです(オンラインでも取得できる?)
  • 社会保険の手続き: 健康保険証ゲットのために必要、登記事項証明書の原本が必要
  • 税務署、都道府県税事務所へ届け出: 税理士の先生に丸投げです、定款・登記事項証明書のコピーが必要
  • 法人の銀行口座作成: ネットバンクとメガバンクを作りたいです

会社を作ります その1

会社を作ろうとしています。

ウェブ上にも身の回りでもあまり情報がまだ少ないと感じているため、このような記事が今後起業する誰かの参考になるかもしれません。

概要

  • 会社名: 株式会社 proof ninja
  • 事業内容: ソフトウェアの開発・検証
  • 設立希望時期: 今年の9月2日
  • 決算月: 8月

会社を設立するためには定款などの書類を法務局に申請する必要があります。私はマネーフォワード会社設立というサービスの「自分で会社設立」プランを利用しました。

f:id:yoshihiro503:20190827144028p:plain
マネーフォワード会社設立

会社設立手続きから健康保険や税務署への届け出などもサポートしてくれそうです。

やったこと

ドメイン取得

`co.jp` ドメイン会社法人しかとれないですが、登記前に申請・設定ができるみたいです。私はお名前.comで `proof-ninja.co.jp` を取得しました。

印鑑作成

特にこだわりはなかったので最も安そうな楽天市場で購入しました。実印、銀行印、角印の三つ合わせて2680円。
item.rakuten.co.jp

定款作成

定款作成といってもマネーフォワード会社設立のフォームに従って必要な項目をぽちぽちと埋めるだけでPDFが自動生成されます。便利〜。

これからやること

定款認証

moneyforward提携の行政書士の先生が指定の公証役場に申請してくれているそうなので、連絡が来たら認証済みの定款を受け取りに行く必要があります。

登記

法務局に必要な書類を届けます。必要な書類がどれだけあって何がどれだけmoneyforwardから得られるかまだよくわかっていません。

Tezosに参加しました

7月からDaiLambda社さんのお手伝いとして暗号通貨Tezosの仕事をしています。

Tezosとは

TezosはOCamlとCoqを使って開発されているブロックチェーンプロトコルであり、暗号通貨の名前でもあります。スマートコントラクト言語 Michelson が静的型付き言語であったり、そのインタープリターが純粋関数的に提供されていたり、形式検証に非常に力を入れているような印象があります。

京都に引っ越すの?

引っ越しません。日本のTezosコア開発の拠点は京都にありますが、私は関東の自宅からフリーランスという形でお手伝いしようと考えています。

おわりに

これからもモリモリ証明していきます୧( •̀ㅁ•́๑)૭✧