• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 18J21885
Research Category

Grant-in-Aid for JSPS Fellows

Allocation TypeSingle-year Grants
Section国内
Research Field Theory of informatics
Research InstitutionThe 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

令和元年度が最終年度であるため、記入しない。

Report

(2 results)
  • 2019 Annual Research Report
  • 2018 Annual Research Report
  • Research Products

    (6 results)

All 2019 2018

All Journal Article (3 results) (of which Peer Reviewed: 3 results) Presentation (3 results) (of which Int'l Joint Research: 1 results)

  • [Journal Article] Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic2019

    • Author(s)
      Kakutani Yoshihiko、Murase Yuito、Nishiwaki Yuichi
    • Journal Title

      Journal of Information Processing

      Volume: 27 Issue: 0 Pages: 77-86

    • DOI

      10.2197/ipsjjip.27.77

    • NAID

      130007580064

    • ISSN
      1882-6652
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Modality via Iterated Enrichment2018

    • Author(s)
      Nishiwaki Yuichi、Kakutani Yoshihiko、Murase Yuito
    • Journal Title

      Electronic Notes in Theoretical Computer Science

      Volume: 341 Pages: 297-320

    • DOI

      10.1016/j.entcs.2018.11.015

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Non-linear Pattern Matching with Backtracking for Non-free Data Types2018

    • Author(s)
      Egi Satoshi、Nishiwaki Yuichi
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 11275 Pages: 3-23

    • DOI

      10.1007/978-3-030-02768-1_1

    • ISBN
      9783030027674, 9783030027681
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Presentation] 双文脈判断に基づくプログラミング言語と次数付き代数的効果2019

    • Author(s)
      西脇友一,内藏理史
    • Organizer
      第21回プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2018 Annual Research Report
  • [Presentation] Modality via Iterated Enrichment2018

    • Author(s)
      Yuichi Nishiwaki
    • Organizer
      理論計算機科学と圏論ワークショップ 2018
    • Related Report
      2018 Annual Research Report
  • [Presentation] Modality via Iterated Enrichment2018

    • Author(s)
      Yuichi Nishiwaki
    • Organizer
      The 34th Conference on the Mathematical Foundations of Programming Semantics
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research

URL: 

Published: 2018-05-01   Modified: 2024-03-26  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi