| Project/Area Number |
18J21885
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Research Field |
Theory of informatics
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
西脇 友一 東京大学, 情報理工学系研究科, 特別研究員(DC1)
|
|---|
| Project Period (FY) |
2018-04-25 – 2020-03-31
|
| Project Status |
Discontinued (Fiscal Year 2019)
|
| Budget Amount *help |
¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 2019: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2018: ¥800,000 (Direct Cost: ¥800,000)
|
|---|
| Keywords | 量子通信 / 形式検証 / プログラミング言語 / 様相論理 / 圏論 / 意味論 / プログラミング言語理論 / 証明論 |
|---|
| Outline of Annual Research Achievements |
今年度のはじめから中途辞退までの期間にかけて以下の研究を行なった．
昨年度に引き続き，量子計算に関連して，Approximation分布モナドの研究を行った．この研究では，量子通信プロトコルの検証のためのモナドを定義し，その性質を調べた．特に，昨年度までに得た成果であるモナドの商をとるための圏論的な操作を，新たにFinitaryモナドからの観点で調べた．それにより，ここまで得た成果がregular epiの持ち上げというより抽象的な操作として捉えることができることを発見した．本研究については論文を執筆中であり，2019年度中に成果を発表したいと考えている．
また，それと平行して去年に引き続き探索問題を簡潔に書くための新しいプログラミングパラダイムについての共同研究を行った．去年発表したプログラミングパラダイムをより精査し，複数のデザインパターンに分類することで既存研究との比較をわかりやすくするものである．この研究はすでに1度国際会議へ投稿した．その際の結果を元に再度2019年度中に結果を投稿し直す予定である．
|
| Research Progress Status |
令和元年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和元年度が最終年度であるため、記入しない。
|
