1910-01-05 - 檜山正幸のキマイラ飼育記 メモ編 「実行時型チェック条件」は、最弱事前条件から算出できるはず。最弱事前条件は、「可能な限り実行の邪魔をしない」条件。 制御不可変数、制御可能変数、伝搬変数って用語はよくない。独立変数と伝搬変数とい…

動くようになった： 変数生成 '>' 変数参照 '%' パイプラインの一時的終了 ';' eachによる変数スコープ（つうかエクステント） casmでスクリプトコマンド定義 kindのナンチャッテ第一段階。 バッグ型 actions/*.cara 新しいスキーマ属性 maxProperties, minP…

実行すべきプログラムを式と呼ぶ。Catyでは、式＝スクリプトコード。型を表す構文的対象を型項とする。型項を項として、包含関係 t⊆s を原子論理式とする論理系を考える。これはデクスター・コゥゼンのset constraintsと同じ。ただし、型変数が含まれて、全…

コォゼンとコゥゼンが混じっている。 コォゼン一覧 http://d.hatena.ne.jp/m-hiyama-memo/archive?word=%A5%B3%A5%A9%A5%BC%A5%F3 コォゼン内容 http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%A5%B3%A5%A9%A5%BC%A5%F3 コゥゼン一覧 http://d.hate…