m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 2018 Mx 用語法 多義語 論理 言語・習慣・文化のせいで、せっかくの原則がうまく使えない例がカリー／ハワード対応。なんとかしてキレイに整理する。演繹システムでは不明瞭で、プログラミング・システムでは明瞭な概念： システム組み込み vs ユーザー定義 ライブラリによるシステムの拡張、S から S+L へ。 「システム vs ユーザー」と実装責務の境界や分担 ライブラリにより拡張されたシステムにおける組み込み機能とは何か？ ライブラリのパッケージ／モジュール化 ライブラリ（であるパッケージ／モジュール）のロード 冗長性が罪ではないこと。むしろ冗長性が機能性として歓迎される。 オペレータとオペランドの区別。プロセス全体のロギング。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20181102%2F1541152416" title="カリー／ハワード・スタイル論理 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-11-02 18:53:36 rich https://m-hiyama-memo.hatenablog.jp/entry/20181102/1541152416 1.0 100%