stricmp問題 - 檜山正幸のキマイラ飼育記 メモ編 の件。共通インクルードファイルのなかで、#include されていた。このため、共通インクルードファイルを直接・間接にインクルードしているファイル（すべてのソースファイル）で、 #include "common.h" // 間…

定理（theorem）は、公理や定義も含む。名前式 の形に対応する。右辺にも名前が出現するが、その名前はセルの名前。右辺に出現する名前のなかでひとつだけが主セルの名前として特定されている。「名前→式」の展開と「式→名前」の縮約がクリック操作で可能だ…

とりあえず2セルに対して縦結合と横結合をやろうと思った。 0セル、1セル、2セルと順に作っていくと、2つの2セルα、βが出来る。 2セルと2セルとの縦結合（1次元接合セルによる結合）は直接出来る。 2セルと2セルとの横結合が出来ない。 2セルと1セルのヒゲ結…