サル、いやガキ（園児）でも使えるGUIとは - 檜山正幸のキマイラ飼育記

自然演繹系のUIをglobular風にする。 globular 自然演繹系 パレット パレット セル 項（ターム） ラベル ラベル（名前） 色 (なし) 次元 次元 ダイアグラム 式 キャンバス ノート キャンバスビュー ノートエリア コマンド コマンド コマンド Globularのコマ…

今までのレイヤー0 → レイヤー1 今までのレイヤー1 → レイヤー2 レイヤー1の論理とレイヤー2の論理に変更する。 レイヤー1 レイヤー2 論理代数 構造付き集合 構造付き圏 議論域 単なる集合 単なる圏 論理代数のレパートリ 具象圏 具象2圏 n 議論域の圏 集合…