めたせぴ2015☆ゆく年くる年 草稿

http://www.metasepi.org/posts/2013-12-21-yuku-kuru.html のような今年のまとめブログを書くためのネタ出しです
1
前へ 1 ・・ 3 4
I moved to Mastodon. @masterq_mogumog

chopstxに証明付けるにもやっぱり #seL4 読んでからの方がいいと思う

2015-12-30 21:55:37
I moved to Mastodon. @masterq_mogumog

ATSのドキュメントといういうとやっぱりこれちゃんと完成させることだなぁ “ATS Programming Foundations” — ATS Programming Foundations 0.2.0 documentation jats-ug.metasepi.org/doc/ATS2/ATS_F…

2015-12-30 21:57:05
I moved to Mastodon. @masterq_mogumog

ATSの #IDE #エラーメッセージ #GUI の充実は、本当にATSが最終解だと判明してからで十分だ。

2015-12-30 21:58:04
I moved to Mastodon. @masterq_mogumog

Android NDKやOpenGLのサポートも今やるべきことじゃない。

2015-12-30 21:58:34
I moved to Mastodon. @masterq_mogumog

ビジネス、、、うーん。全然収益化の目処がない、、、有用な論文を書いてアピールするのが先なんだろうと思う。少なくともマージソートぐらい作れないと何のアピールにもならないじゃないか

2015-12-30 21:59:37
I moved to Mastodon. @masterq_mogumog

こんなところだと思います。。。

2015-12-30 22:01:17
前へ 1 ・・ 3 4