Yoshihiro Imai @yoshihiro503

Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。

http://proofcafe.org/

フォローする

プログラミング数学ネタ科学言語 Android お笑い c 環境芸能運用インターネット Coq 機械学習定理証明システム管理項書き換え Java関連

Proof Summit 2017

4774pv 18 1 更新 2017年7月27日作成 2017年7月24日
NL名古屋 -NLとはなんだったのか- #nlnagoya

10016pv 28 2016年4月16日
関数プログラミング交流会

6581pv 28 2 users 更新 2015年9月14日作成 2015年9月13日

Proof Summit 2015

2735pv 13 2015年9月12日
非同期プログラミングの難しさとScalaのFuture

12170pv 56 31 users 4 2015年3月29日
モナド基礎勉強会 vol.2 #monadBase

7143pv 27 12 users 更新 2015年3月23日作成 2015年3月21日
TLがfunctorとλで埋まってこわかった話

1902pv 15 1 user 2014年6月17日
NII Shonan Summer School on Coq

2197pv 20 3 users 3 更新 2014年9月1日作成 2014年8月27日
OpenSSLの新たな脆弱性 CCS Injection が発見される

20198pv 199 62 users 72 2014年6月5日
PPL2014

6680pv 38 2 users 3 2014年3月7日
【型システム入門】TAPL翻訳の発売に沸き立つTL その２

6013pv 6 1 user 更新 2013年3月7日作成 2013年3月2日
【型システム入門】TAPL翻訳の発売に沸き立つTL

16739pv 46 8 users 4 更新 2013年3月5日作成 2013年3月1日
型システム入門プログラミング言語と型の理論発売ニュースに沸き立つTL

6793pv 45 3 users 4 2013年1月17日
ネットの人たちは、木下黄太が危険を伝える人間ということを隠したいのか？

9870pv 111 3 users 3 更新 2012年12月23日作成 2012年12月21日
第二回関数型言語勉強会 #fpstudy

7213pv 12 3 users 16 更新 2014年5月21日作成 2012年11月24日
【いままでなかった】親中デモ「壊さず建てる」「餃子を配る」など

2311pv 4 2012年9月21日
科学者テスト ... 武田邦彦教授は科学者なのか？

83680pv 1355 84 users 313 更新 2019年11月13日作成 2012年9月5日
Proof Summit 2012

5570pv 15 2 users 2012年9月3日
函数プログラミングの集い2012その1 #fpm2012

6762pv 25 4 users 2 2012年9月2日
PPLサマースクール2012「関数型言語ベースの先進的Webフレームワーク」

4151pv 18 更新 2012年8月30日作成 2012年8月21日
第一回関数型言語勉強会　大阪　まとめ #fpstudy

7476pv 30 5 users 3 更新 2014年5月21日作成 2012年5月19日
Start SML#

3625pv 15 更新 2012年3月27日作成 2012年3月26日
トップエスイー特別講義、定理証明と検証

2358pv 7 2 users 更新 2014年5月21日作成 2012年3月23日
2012/03/03_なるせ君とScala+Android初めて開発会( #scalaandroid )

9004pv 21 4 users 3 更新 2014年5月21日作成 2012年3月3日
#ITエンジニアだらけの運動会まとめ

226457pv 1872 148 users 391 更新 2021年10月13日作成 2012年3月1日

1 2 次へ

いま話題のタグ

台湾1283 ちいかわ402 プラモデル1842 アニメ47317 ドラえもん896 汚部屋20 釘宮理恵36 海外旅行1384 数学2519 車椅子541 刀剣乱舞2625 語学2173 おがくず150 ファンタジー1634 ファッション3704