コロちゃんぬさんから応援メッセージをいただきました。コロちゃんぬさんというかコロちゃんのほうがよほど馴染み、彼を「コロちゃん」と呼び始めたのはぼくじゃないかと思っていたらぼくでした。ではコロちゃんからのメッセージです。～～～～～～～～～～～～～～～～～～～～～～川井くんは僕の大学時代の同期で、数学研究部として数学書の輪講をする自主ゼミをしてきた友人です。また、私事ですが僕に「コロちゃん」というステキなあだ名をくれました。SNSでは他のコロちゃんと区別するために「コロちゃんぬ」と名乗っていますが、今日は「コロちゃん」で。大学時代の川井くんとのゼミのおかげで、僕の数学の基盤ができたと言っても過言ではありません。僕のゼミの発表にはいつも鋭い指摘をしてくれましたし、川井くんの発表はステートメントや証明の論理構造が明確で、学ぶことが多かったです。オルガノンクラスでも有意義な議論を提供してくれるはずです。これからの川井くんの活動が楽しみです。応援しています！コロちゃんより～～～～～～～～～～～～～～～～～～～～～～コロちゃん、ありがとう。当時から変わらず様々なかたちで数学にかかわり続けるコロちゃんの「数学の基盤」を作れたのなら何よりの誇りです。ありがとうございます。ちなみに彼が学生時代、数学と同じくらい熱心だったのはラジオへの投稿だったのですが、そのお笑い魂は目を見張るものがありました。ブログやTwitterでお笑い魂の健在を確認できますので、ぜひご覧ください。目標金額: 150000円現支援額: 105000円 (70%)山を越えました！多大なご支援ありがとうございます。さらなる支援よろしくお願いします。200%行きたいです。また、本プロジェクトを紹介するチラシが今日中に完成する予定なので、ご友人に配ったりお店に置いたりしてくださる方がいらっしゃいましたら、ご連絡ください。ささやかなお礼もさせていただきます。画像は Nagueさんと相談した案から作ったフェイクですが、これを配ってくださったらやっぱりもちろんささやかなお礼をさせていただきます。コロちゃんぬさんのプロフィール東京理科大学修士。非線形波動方程式を学ぶ。修士課程終了後も教鞭を執りながら、ロマンティック数学ナイト、数学デーなどの各種数学イベントで精力的に活動を続けている。ブログ: http://corollary2525.hatenablog.comTwitter: @corollary2525

カラクリCTOの中山智文さんから応援メッセージをいただきました。中山さんは東京理科大学でのわたしの後輩で、数学研究部というサークルで一緒に切磋琢磨し数学を学び合った仲です。当時を尊重して「中山くん」と以降は呼ばせていただきます。では中山くんからのメッセージを紹介させていただきます。～～～～～～～～～～～～～～～～～～～～～～数学研究部にいた頃から、川井さんはアカデミックで面白い活動を繰り返してきていました。今回の活動もとても楽しみにしています。カリー・ハワード対応についてもガロア圏についても以前から大変興味がありましたが、仕事の忙しさ故、学部の頃のように1人で毎日1日中考えるといった時間もとれず、なかなか手が出せずにおりました。こちらのプロジェクトではそういったものに、以前よりは（語弊を恐れず言えば）かなり「手軽に」触れられるものになるのではないかと期待しています。川井さんには数学研究部時代に大変お世話になりました。入部して最初に「大学４年間を数学に捧げる」旨の宣誓書を書かされたことを今でもよく覚えています。あのときの経験がその後の人生に大きく良い影響を与えたことは間違い無いです。本当に感謝しています。川井さん、活動的なときは結構な無理をしがちなのでご無理のないようにしてください。応援しています。～～～～～～～～～～～～～～～～～～～～～～中山くん、ありがとうございました。当時、中山くんとぼくは数学研究部を通じて多くの仲間と自主的にセミナー・輪講を精力的に行なっていました。その活動がそれぞれの現在の活動のコアになっています。わたしのプロジェクトも数学という学問をより身近にするという志があり、「学問とビジネスをつなぎ、社会に実装する活動」と近しいものと思い、応援メッセージを寄せていただきました。中山くんの期待に答えられるよういっそう努力させていただきます。無理は控えますので。目標金額: 150000円現支援額: 58000円 (38%) たくさんの支援、ありがとうございます。さらなる皆様の支援をお願いするとともに、今後とも精進を誓う次第です。中山智文さんのプロフィール東京理科大学理学部数学科で代数的数論と確率論を学ぶ。学部卒業後シリコンバレーに留学。コンピュータサイエンス、とくに情報セキュリティについてを学ぶ。1年後に帰国し、東京大学大学院に入学。機械学習の応用、特にデータ科学の汎用的な手法の研究に従事。現在は博士課程に在籍。修士１年生のときにカスタマーサポート領域特化型AIのスタートアップであるカラクリ株式会社を数人のメンバーとともに創業。CTOとして学問とビジネスをつなぎ、社会に実装する活動を行なっている。