| 研究課題/領域番号 |
16K12391
|
|---|
| 研究機関 | 千葉大学 |
|---|
研究代表者 |
萩原 学 千葉大学, 大学院理学研究科, 准教授 (80415728)
|
|---|
| 研究分担者 |
葛岡 成晃 和歌山大学, システム工学部, 准教授 (60452538)
|
|---|
| 研究期間 (年度) |
2016-04-01 – 2019-03-31
|
| キーワード | 形式化 / 情報源符号化 / 情報理論 / シャノン理論 / SSReflect / Proviola |
|---|
| 研究実績の概要 |
情報理論の形式化ライブラリｉｎｆｏｔｈｅｏに関して、人間に対する可読性を与えるシステムの開発を開始した。その研究アイデアとしてＣａｒｓｔ Ｔａｎｋｉｎｋにより開発されたｐｒｏｖｉｏｌａの出力に着目した。具体的には、Ｃｏｑ／ＳＳＲｅｆｅｌｃｔスクリプトとしてのｖｅｒｎａｃｕｌａｒファイルからｐｒｏｖｉｏｌａによりｆｉｌｍ化し、そのｆｉｌｍファイルを入力としＬａＴｅＸソースへと変換するものを本研究の目標を実現するシステムとすることにした。
ｆｉｌｍファイルからＬａＴｅＸソースへの変換が本研究で開発するシステムの主要部分であるが、その言語としてＰｙｔｈｏｎを採用した。Ｐｙｔｈｏｎのコードを機能により二つにわけて構成している。一つはｆｉｌｍファイルを解析するコードであり３００行程度開発した。もう一つはＣｏｑ／ＳＳＲｅｆｌｅｃｔのタクティクを人間の自然言語に対応させる対応表の役割をなすコードであり９００行程度開発した。
開発したコードをｉｎｆｏｔｈｅｏのＲｓｓｒ．ｖ、ｖａｒｉａｔｉｏｎ＿ｄｉｓｔ．ｖ、ｎａｔｂｉｎ．ｖ、ｈａｍｍｉｎｇ．vなどに適用したその動作を確認した。結果、代表的なタクティク（ｍｏｖｅ：、ｍｏｖｅ＝＞、ｃａｓｅ、ａｐｐｌｙ、ｅｌｉｍなど）に対してシステムが正確に動作することを確認した。一方で、タクティクの組み合わせやタクティカルが複雑に現れるものに対しては、期待する動作が実現できていない。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
本年度の目標はシステムのプロトタイプを作成することであった。開発したpythonコードをinfotheoライブラリの一部に対して適用したところ、代表的なタクティクに対しては正確に動作することを確かめられた。
|
| 今後の研究の推進方策 |
Coq/SSReflectのタクティクを人間の自然言語に対応させる対応表の役割をなすコードの拡張を行う。特に、infotheoライブラリの幾つかのファイルに対して、全てのタクティクを自然言語化する変換を実現していく。
|
