トポロジカル手法による理論分散計算の統一理論の構築

今年度のはじめから中途辞退までの期間にかけて以下の研究を行なった．昨年度に引き続き，量子計算に関連して，Approximation分布モナドの研究を行った．この研究では，量子通信プロトコルの検証のためのモナドを定義し，その性質を調べた．特に，昨年度までに得た成果であるモナドの商をとるための圏論的な操作を，新たにFinitaryモナドからの観点で調べた．それにより，ここまで得た成果がregular epiの持ち上げというより抽象的な操作として捉えることができることを発見した．本研究については論文を執筆中であり，2019年度中に成果を発表したいと考えている．また，それと平行して去年に引き続き探索問題を簡潔に書くための新しいプログラミングパラダイムについての共同研究を行った．去年発表したプログラミングパラダイムをより精査し，複数のデザインパターンに分類することで既存研究との比較をわかりやすくするものである．この研究はすでに1度国際会議へ投稿した．その際の結果を元に再度2019年度中に結果を投稿し直す予定である．

今年度のはじめから中途辞退までの期間にかけて以下の研究を行なった．昨年度に引き続き，量子計算に関連して，Approximation分布モナドの研究を行った．この研究では，量子通信プロトコルの検証のためのモナドを定義し，その性質を調べた．特に，昨年度までに得た成果であるモナドの商をとるための圏論的な操作を，新たにFinitaryモナドからの観点で調べた．それにより，ここまで得た成果がregular epiの持ち上げというより抽象的な操作として捉えることができることを発見した．本研究については論文を執筆中であり，2019年度中に成果を発表したいと考えている．また，それと平行して去年に引き続き探索問題を簡潔に書くための新しいプログラミングパラダイムについての共同研究を行った．去年発表したプログラミングパラダイムをより精査し，複数のデザインパターンに分類することで既存研究との比較をわかりやすくするものである．この研究はすでに1度国際会議へ投稿した．その際の結果を元に再度2019年度中に結果を投稿し直す予定である．