良く考えたら、これはPRIMEの機能ではないかもしれないような気もしてきた。辞書の問題のような気がする…(見当違いなこと言ってるかもしれませんが) バージョン 0.6.5 以降は, cannadic プロジェクトと SKK Openlab プロジェクトの辞書を元に構成されていま…

http://www.taiyaki.org/prime/ 入力 変換 all ∀ exist ∃ union ∪ intersection ∩ include ∋∈ subset ⊂ superset ⊃ subseteq ⊆ superseteq ⊇ vdash ├ imply → vee*1 ∨ wedge*2 ∧ 一生ついていきます。 *1:\veeの逆ってなんだったっけ *2:k.inabaさんが教えて…

memoizeしてるとおかしくなる。愚直に求めるとちゃんと求まる。根本的には手抜きが原因なんだけど…typeのデータ構造をちゃんと書き直してない手抜き。本質的に遅いアルゴリズムをmemoizeで逃げようとした手抜き。ちゃんとしたプリティプリンタを書いてなかっ…