読みます… https://t.co/QiTS3g9BIO

@uint256_t hoare state monad もそのままの定義で使うと transformer(https://t.co/9sHABxeibp)が必要になったりするので、問題領域にあわせた独自の monad を作ることが多い、らしい、です。 software foundations(https://t.co/vgGPfKiz7x) でも扱われています。coq で記述する際は参考になると思います。

RT @esumii: 他の方のご参考まで、プログラムの意味論については https://t.co/dk3Nj2Yygj などをば。自分の記事ですみませんが:-)この分野ではごく基本的な内容かつ（おそらく）最も初歩的な記事だと思います！ 文脈等価性は書いてありませんが整数なら「…

RT @sinya8282: オートマトン理論の福音を伝道していきたい。 https://t.co/YTHDDa010k

RT @esumii: 論文本体（無料公開）はこちら：https://t.co/GgGiKyXS5w 元となった大堀先生のコンパイラの授業はこちら：https://t.co/N5wTq7w5Kb 「既存のコンパイラの教科書では，例えばこの基本的な原理の基礎となるアイデアなどが極…

RT @sinya8282: 拙著サーベイ論文「オートマトン理論再考」が今日付けでJSTAGEに公開されました！ どなたでもアクセスできると思いますので，ぜひぜひ読んでみてください． https://t.co/5WHN1lbyYY

RT @tagsanov: CiNii 論文 -  Prologによるタイ語構文解析 https://t.co/tvSyaxlRbx #CiNii

RT @Cernobyl: 情報処理学会誌、かわいい特集だ https://t.co/Goh74MjdYj https://t.co/0wiE5tXTBP

RT @pletwobine: 昔甥っ子と盛り上がった「インスタントコーヒー混ぜてるとスプーンとカップがぶつかる音がどんどん高くなる不思議」を急に思い出しぐぐったら何と論文が！アイツが犯人だったかぁぁぁぁ！　https://t.co/M7chjEOWPp　https://t.c…

"北山はこれを読まなかったのか，読んでも理解できなかったのか．いずれ原著論文を発表したい ．" 「読んでも理解できなかったのか」バトルだ http://t.co/j90HLPilQQ

"北山はこれを読まなかったのか，読んでも理解できなかったのか．いずれ原著論文を発表したい ．" 「読んでも理解できなかったのか」バトルだ http://t.co/j90HLPilQQ

謝辞ヤバイ http://t.co/m0KdGfQwiM

RT @_ko1: "これからの職業人としてのプログラマは，こうした形式的な体系とか論理とかが大事で，これをきちんと押さえた上でプログラミング能力をもたなければいけないと思います" http://t.co/NBFqyP5A 20年前から代わっただろうか．

現実には反則だが研究なのでオッケーアトモスフィアだ http://t.co/v82KUSfa

ワコールとかが既に研究しつくしてそうな http://ci.nii.ac.jp/naid/110003166950/

おぉ，小林先生がコンピュータソフトウェアの巻頭言を書かれている（正座して読みまする）． 「日本は先進国か？」 https://t.co/Ds8XbUbXqJ

他の方のご参考まで、プログラムの意味論については https://t.co/dk3Nj2Yygj などをば。自分の記事ですみませんが:-)この分野ではごく基本的な内容かつ（おそらく）最も初歩的な記事だと思います！ 文脈等価性は書いてありませんが整数なら「簡約した結果の値が等しい」でOKです。

CiNii 論文 -  Prologによるタイ語構文解析 https://t.co/tvSyaxlRbx #CiNii

情報処理学会誌、かわいい特集だ https://t.co/Goh74MjdYj https://t.co/0wiE5tXTBP