エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
pi calclusを学ぶにあたって参照したドキュメントとその紹介その一 - けいぞうのメモ帳
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
pi calclusを学ぶにあたって参照したドキュメントとその紹介その一 - けいぞうのメモ帳
動機 ぼくはgopherなのでgorutine/channelを用いたプログラミングが好きだ。 ついでに非同期、並行プロ... 動機 ぼくはgopherなのでgorutine/channelを用いたプログラミングが好きだ。 ついでに非同期、並行プログラミングも好ましいもので、haskellやrustなんかの手法を知ってにやにやしている。 それらにともなって背景とされるhoareのCSPとその拡張のpi calclusについて調べて遊んでいる。 なんか寄り道をしてタネンバウムの分散システム本をなめたりTaPL再読なんかもしているが、 それはそれとして様々なドキュメントを参照した。 それぞれを紹介することで自分への理解度を試したいと思う。 言ってしまえば、ぼくの愚痴であり、自習ノートである。 ついては、ぼくの紹介が不十分であったり間違っていたりした場合には、 ブクマコメやツイッターなどでdisっていただけるとぼくの勉強の一助となってありがたい。 ついでに、間違った情報を界隈に広めずに済む利点がある。ご協力いただける方々