システム系

・DBについて
詳細ボタンはいらない。
一行つづ背景色を変える 　→済
デフォルトで100行表示に　→済

・webページの作り方。
ファイルがぐちゃぐちゃになりがち…
WordPressを使う以外にも？

・phpファイルの編集エディタで色を付ける機能
最新バージョンのfunctionに対応してない　（ function や array は色が付くが array_findなどの新しい関数に色が付かない）
→ wordpress をバージョンアップして確認する

・testから本番へのコピーをやりやすくする
自動化・簡単な操作でできるように
移すもの…waffledbデータ、固定ページデータ、PHPファイル
・ある時点での上記データのバックアップをとって、必要があれば復元をできるように　→優先
何らかの変更を企ててみて、やっぱりダメってなったときに

・php のデバッグをしやすいようにする
ログを見やすく
（ログは test.atp-research.com-error_log を 管理画面でみえるようになった）→no accessになってしまっている
致命的エラー系は画面に表示出す→時田
エラー種類をここに書く
debug_backtrace()

・prover
オプション調べる
止まらなくなった場合に止めるボタンを作る

昌へ
・定理チェック…;;で区切りを入れた定理もできるように
・riteチェックのページ Set0 おかしい
・一時的なwordを作りたい
・土屋君の手伝いを