サクサク読めて、アプリ限定の機能も多数!
Microsoftって確かZ3っていうTheorem Prover作ってたよな。いろいろやってるなあ。
kirakking のブックマーク 2017/05/25 18:31
P言語の素晴らしさについて - kuenishi's blog[microsoft][tool][language][formal method]Microsoftって確かZ3っていうTheorem Prover作ってたよな。いろいろやってるなあ。2017/05/25 18:31
このブックマークにはスターがありません。 最初のスターをつけてみよう!
kuenishi.hatenadiary.jp2017/05/25
先週Microsoft社がP言語に関するブログ記事を公開し一部界隈で話題となった。 P言語くん pic.twitter.com/uULzxIO4ct— Kuntaro Ishiyama (@_iamkuntao) 2017年3月26日 「いまさら一文字言語かよ…」「何個目だ?」...
452 人がブックマーク・54 件のコメント
\ コメントが サクサク読める アプリです /
Microsoftって確かZ3っていうTheorem Prover作ってたよな。いろいろやってるなあ。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
P言語の素晴らしさについて - kuenishi's blog
先週Microsoft社がP言語に関するブログ記事を公開し一部界隈で話題となった。 P言語くん pic.twitter.com/uULzxIO4ct— Kuntaro Ishiyama (@_iamkuntao) 2017年3月26日 「いまさら一文字言語かよ…」「何個目だ?」...
452 人がブックマーク・54 件のコメント
\ コメントが サクサク読める アプリです /