RT @golden_lucky: そうなんです、『情報処理』学会誌7月号で『プログラマーのためのCPU入門』を取り上げていただいたのです！（まだぼく自身は現物を手にできていないのだけれども） https://t.co/S6YSJM5sV4 https://t.co/AVibi…

RT @h_okumura: 『情報処理』2023年1月号、森本尚之「三重大学のノートPC必携制度の5年間とこれから」 https://t.co/ZhHjFqn6jO オープンアクセス

RT @AtsushiOhori: （個人的な体験・感想を含む）P.J.DenningのThe Working Set Model for Program Behaviorの紹介は、free accessの情報処理学会のコラムを参照： https://t.co/QHdyWntz…

RT @kaleidotheater: 依存型意味論(DTS)についての日本語での解説は、人工知能学会でお話させて頂いた以下の論文（4ページ）がお勧めです。 「意味論の証明論的転回」(戸次ら2017） https://t.co/uH0vRJWG0S 依存型理論からDTSに至…

RT @sinya8282: 昨年末に「応用数理」に投稿した解説論文 「形式言語理論：非可換と可換のあいだ」 が J-STAGE 上で読めるようになりました． 形式言語理論特有の難しさや面白さを説明させてもらいました． 「応用」を意識して自然言語っぽい話もいくつか話題に取り入…

RT @jnsgsec: @nobsun 1997年から 大学入試センターは数学②で情報関係基礎を出題してきました。 大学入試センター試験とプログラミング言語， 情報処理, Vol.50, No.10, pp.1013-1016 (2009). https://t.co/Dx…

RT @blackenedgold: 大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk

RT @KazutakaMatsuda: 型整合（well-typed），整形式（well-formed），整礎（well-founded）等からの類推だと，整定義か？ と思って検索したら佐々先生が使用した例を発見 https://t.co/tXv3QuoHAM

参照元の記事。 https://t.co/L4fyI2CFrH https://t.co/SxQXYqDSwR

RT @_ko1: "プログラミング言語の新潮流" http://t.co/NBFqyP5A 凄い．今，こういう議論が見てみたい．PPL とかでこういうパネルがあったら見に行く．

そうなんです、『情報処理』学会誌7月号で『プログラマーのためのCPU入門』を取り上げていただいたのです！（まだぼく自身は現物を手にできていないのだけれども） https://t.co/S6YSJM5sV4 https://t.co/AVibi61Ws7

故あって「オートマトン理論再考」という神サーベイ論文を読んでたんだけど，そこで紹介されている３つの未解決問題の中でこれは近いうちに解かれるべきな気がする（気がしてるだけ） https://t.co/5WHN1kUvWY https://t.co/p6EliYOA9u

『情報処理』2023年1月号、森本尚之「三重大学のノートPC必携制度の5年間とこれから」 https://t.co/ZhHjFqn6jO オープンアクセス

（個人的な体験・感想を含む）P.J.DenningのThe Working Set Model for Program Behaviorの紹介は、free accessの情報処理学会のコラムを参照： https://t.co/QHdyWntzuI

依存型意味論(DTS)についての日本語での解説は、人工知能学会でお話させて頂いた以下の論文（4ページ）がお勧めです。 「意味論の証明論的転回」(戸次ら2017） https://t.co/uH0vRJWG0S 依存型理論からDTSに至る経緯と関連論文、および2017年6月までのDTSによる意味論研究についてまとめてあります。

昨年末に「応用数理」に投稿した解説論文 「形式言語理論：非可換と可換のあいだ」 が J-STAGE 上で読めるようになりました． 形式言語理論特有の難しさや面白さを説明させてもらいました． 「応用」を意識して自然言語っぽい話もいくつか話題に取り入れてみました． https://t.co/B4PKRNZb6p https://t.co/qc71Z2O43m

@nobsun 1997年から 大学入試センターは数学②で情報関係基礎を出題してきました。 大学入試センター試験とプログラミング言語， 情報処理, Vol.50, No.10, pp.1013-1016 (2009). https://t.co/DxGFumn4N2 情報関係基礎アーカイブ https://t.co/8gAha9RuGf をご覧ください。#jnsg

大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk

型整合（well-typed），整形式（well-formed），整礎（well-founded）等からの類推だと，整定義か？ と思って検索したら佐々先生が使用した例を発見 https://t.co/tXv3QuoHAM https://t.co/PWYPyKeQKh

https://t.co/jCLXjduaIG 恩師の追悼記事を(2番手ですが)書きました。

「ソフトウェア開発者向け論文の書き方」今の自分にちょうどよかった。論文書くわけじゃないけど。 > 水野修『学生，若手研究者向けの論文の書き方術』 https://t.co/piklN3IZy4

https://t.co/pGPxohdJEq なぜ意味論は 「プロセス」を含むか 岡本賢吾 終わりにには、さらっとμ演算子に言及しているので勉強になりますね。 https://t.co/cg2GZe0CD8

"プログラミング言語の新潮流" http://t.co/NBFqyP5A 凄い．今，こういう議論が見てみたい．PPL とかでこういうパネルがあったら見に行く．