2009-08-27から1日間の記事一覧
まえの横チェーンの制約(型の制約を利用)は強すぎて、それから7月に思いついた新横チェーンは緩すぎて、いまのところこてこてのFSMで定義した真横チェーンがよさそうな雰囲気というところまできましたが、制約の要素部品を、とn=2とすれば解決できそうで…
まえの横チェーンの制約(型の制約を利用)は強すぎて、それから7月に思いついた新横チェーンは緩すぎて、いまのところこてこてのFSMで定義した真横チェーンがよさそうな雰囲気というところまできましたが、制約の要素部品を、とn=2とすれば解決できそうで…