2016 Fiscal Year Research-status Report
| Project/Area Number |
16K12391
|
|---|
| Research Institution | Chiba University |
|---|
Principal Investigator |
萩原 学 千葉大学, 大学院理学研究科, 准教授 (80415728)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
葛岡 成晃 和歌山大学, システム工学部, 准教授 (60452538)
|
|---|
| Project Period (FY) |
2016-04-01 – 2019-03-31
|
| Keywords | 形式化 / 情報源符号化 / 情報理論 / シャノン理論 / SSReflect / Proviola |
|---|
| Outline of Annual Research Achievements |
情報理論の形式化ライブラリｉｎｆｏｔｈｅｏに関して、人間に対する可読性を与えるシステムの開発を開始した。その研究アイデアとしてＣａｒｓｔ Ｔａｎｋｉｎｋにより開発されたｐｒｏｖｉｏｌａの出力に着目した。具体的には、Ｃｏｑ／ＳＳＲｅｆｅｌｃｔスクリプトとしてのｖｅｒｎａｃｕｌａｒファイルからｐｒｏｖｉｏｌａによりｆｉｌｍ化し、そのｆｉｌｍファイルを入力としＬａＴｅＸソースへと変換するものを本研究の目標を実現するシステムとすることにした。
ｆｉｌｍファイルからＬａＴｅＸソースへの変換が本研究で開発するシステムの主要部分であるが、その言語としてＰｙｔｈｏｎを採用した。Ｐｙｔｈｏｎのコードを機能により二つにわけて構成している。一つはｆｉｌｍファイルを解析するコードであり３００行程度開発した。もう一つはＣｏｑ／ＳＳＲｅｆｌｅｃｔのタクティクを人間の自然言語に対応させる対応表の役割をなすコードであり９００行程度開発した。
開発したコードをｉｎｆｏｔｈｅｏのＲｓｓｒ．ｖ、ｖａｒｉａｔｉｏｎ＿ｄｉｓｔ．ｖ、ｎａｔｂｉｎ．ｖ、ｈａｍｍｉｎｇ．vなどに適用したその動作を確認した。結果、代表的なタクティク（ｍｏｖｅ：、ｍｏｖｅ＝＞、ｃａｓｅ、ａｐｐｌｙ、ｅｌｉｍなど）に対してシステムが正確に動作することを確認した。一方で、タクティクの組み合わせやタクティカルが複雑に現れるものに対しては、期待する動作が実現できていない。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
本年度の目標はシステムのプロトタイプを作成することであった。開発したpythonコードをinfotheoライブラリの一部に対して適用したところ、代表的なタクティクに対しては正確に動作することを確かめられた。
|
| Strategy for Future Research Activity |
Coq/SSReflectのタクティクを人間の自然言語に対応させる対応表の役割をなすコードの拡張を行う。特に、infotheoライブラリの幾つかのファイルに対して、全てのタクティクを自然言語化する変換を実現していく。
|
