ちょっとずつTO DO
adminadmin・phpを固定ページに直接記述
・クリックしたら入力文字列が出てくる仕様を変更？
OK押下後、ページトップに移動してしまう
・translate時にDBからまとめて取得？
・外延記法による集合の作成
・not(/)を使用可能に
adminadminadminadminadminadmin・phpを固定ページに直接記述
・クリックしたら入力文字列が出てくる仕様を変更？
OK押下後、ページトップに移動してしまう
・translate時にDBからまとめて取得？
・外延記法による集合の作成
・not(/)を使用可能に
コマンドラインで操作する prover に値を渡す
コマンドラインのprover をサーバへインストール