m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 Mx 2018 用語法 大分類 非形式 形式化データ 備考 計算 対象式 対象式（項） もともと形式化されている 論理 命題 論理式 文字列または構文解析木 論理 推論 推論図 仮定と結論がある 論理 リーズニング リーズニング図 ツリー状ノード・ワイヤー図 すべての形式化データは、ノード・ワイヤー図で表現される。推論図は2次元的な構造を持ち、その構文解析木がリーズニング図（の木）で与えられる。レイヤーは多いが、やってることは同じことの繰り返し。すべてのデータはグラフ／ツリーなので、グラフ／ツリー処理言語があれば操作可能。実質的にツリーだと思ってよいので、ツリー処理言語。ツリー処理言語を使った計算をツリー算術と呼ぶ。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20190117%2F1547704005" 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 2019-01-17 14:46:45 rich https://m-hiyama-memo.hatenablog.jp/entry/20190117/1547704005 1.0 100%