千葉大学就任以降（２０１３年４月以降）、国・企業等から助成金を受けて行ってきた、もしくは、行ってる研究。
モダン符号の形式化
| 助成元 | 独立行政法人 日本学術振興会、科学研究費補助金 基盤（Ｂ） |
|---|---|
| 研究目的 | 大きな目的は，情報学の基礎理論の普遍性・正当性を確固たるものにすることである．本研究ではその手段として，証明支援系による形式化を行う．本研究成果により，「１．モダン符号における論理的な曖昧さを排除できる」，「２．諸概念や命題をライブラリ化し，それらを公開することで，世界の人達にとって符号理論の検証が容易になる」，「３．形式化によって符号理論の理解が深まり，理論の拡張へ繋げやすくなる」，といった意義が期待できる．さらに，これらの形式化により得られた知見を活かし「４．新たな誤り訂正符号や応用の発見・発明．それによる，符号理論の実用性や産業的価値の向上」とする． |
| 研究期間 | ＦＹ２５，２６，２７ |
| 研究費 | 期間総額 １，３１０万円（直接経費） |
| 体制 | 萩原 学（千葉大、研究代表者）、笠井 健太（東工大、研究分担者）、ガリグ ジャック（名大、研究分担者）、葛岡 成晃（和歌山大、研究分担者）、アフェルト レイナルド（産総研、研究分担者）、溝口 佳寛（九大、研究協力者）、ネイション ＪＢ（ハワイ大、連携研究者） |
コセット符号化の研究。
| 助成元 | 独立行政法人 日本学術振興会、科学研究費補助金 基盤（Ｂ） |
|---|---|
| 研究目的 | 秘匿性を最大にするコセット符号の研究。 |
| 研究期間 | ＦＹ２６，２７，２８ |
| 研究費 | 期間総額 後日、記入 |
| 体制 | 松本 隆太郎（東工大、研究代表者）、萩原 学（千葉大、研究分担者）、他 |
機械学習・ディープラーニング・ニューラルネットワークへの符号理論の応用
| 助成元 | 三菱電機 情報総合研究所 |
|---|---|
| 研究目的 | 後日、執筆予定。 |
| 研究期間 | ＦＹ２６ |
量子暗号の安全性
| 助成元 | 東芝株式会社 |
|---|---|
| 研究目的 | 後日執筆予定。 |
| 研究期間 | ＦＹ２５ |
