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 |
情報理論の形式化ライブラリinfotheoに関して、人間に対する可読性を与えるシステムの開発を開始した。その研究アイデアとしてCarst Tankinkにより開発されたproviolaの出力に着目した。具体的には、Coq/SSRefelctスクリプトとしてのvernacularファイルからproviolaによりfilm化し、そのfilmファイルを入力としLaTeXソースへと変換するものを本研究の目標を実現するシステムとすることにした。 filmファイルからLaTeXソースへの変換が本研究で開発するシステムの主要部分であるが、その言語としてPythonを採用した。Pythonのコードを機能により二つにわけて構成している。一つはfilmファイルを解析するコードであり300行程度開発した。もう一つはCoq/SSReflectのタクティクを人間の自然言語に対応させる対応表の役割をなすコードであり900行程度開発した。 開発したコードをinfotheoのRssr.v、variation_dist.v、natbin.v、hamming.vなどに適用したその動作を確認した。結果、代表的なタクティク(move:、move=>、case、apply、elimなど)に対してシステムが正確に動作することを確認した。一方で、タクティクの組み合わせやタクティカルが複雑に現れるものに対しては、期待する動作が実現できていない。
|
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ライブラリの幾つかのファイルに対して、全てのタクティクを自然言語化する変換を実現していく。
|