Taming New Computing Paradigms: Diverse Techniques in Semantics United, Enhanced and Applied
| Project/Area Number |
24680001
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (A)
|
| Allocation Type | Partial Multi-year Fund |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
Hasuo Ichiro 東京大学, 情報理工学(系)研究科, 准教授 (60456762)
|
|---|
| Project Period (FY) |
2012-04-01 – 2016-03-31
|
| Project Status |
Completed (Fiscal Year 2015)
|
| Budget Amount *help |
¥19,240,000 (Direct Cost: ¥14,800,000、Indirect Cost: ¥4,440,000)
Fiscal Year 2015: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2014: ¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
Fiscal Year 2013: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2012: ¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000)
|
|---|
| Keywords | 新パラダイム計算 / 計算の意味論 / プログラミング言語 / 形式検証 / 物理情報システム / 量子計算 / 関数型プログラミング / 圏論 / プログラム理論 / システム検証 / ハイブリッドシステム / 不動点論理 / 応用数学 / 国際研究者交流（フランス） / 国際研究者交流（イタリア） / 国際情報交換（イタリア） / 国際情報交換（オランダ） |
|---|
| Outline of Final Research Achievements |
With the application domains of computer systems diversifying rapidly, we are seeing a number of new computing paradigms (such as cyber-physical systems and quantum computation) increasing their relevance in the society. With the belief that understanding of their mathematical nature is vital in quality assurance of such computing systems, we aimed at unifying the semantical techniques that have been developed over years in computer science, and at coping with the emerging challenges of new computing paradigms thereby. Additionally we have also aimed at comprehensive enhancement of semantical techniques that is driven by the new applicational challenges. We have achieved the concrete goals we set in the beginning of the current research project, in ways that are broader than we had foreseen. Moreover our theoretical approach has led to some unexpected relationships and collaborations between different topics.
|
Report
(5 results)
Research Products
(49 results)
-
-
-
-
-
-
-
[Journal Article] Healthiness from Duality2016
Author(s)
Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo and Bart Jacobs
-
Journal Title
Proc. Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2016)
Volume: なし
Related Report
Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
-
-
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] The Geometry of Synchronization2014
Author(s)
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo and Akira Yoshimizu
-
Journal Title
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Volume: なし
Pages: 1-10
DOI
Related Report
Peer Reviewed / Acknowledgement Compliant
-
-
-
-
-
-
[Presentation] Healthiness from Duality2016
Author(s)
Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo and Bart Jacobs
Organizer
Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2016)
Place of Presentation
New York City, USA
Year and Date
2016-07-05
Related Report
Int'l Joint Research
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Book] 圏論の歩き方2015
Author(s)
圏論の歩き方委員会 (編集)
Total Pages
295
Publisher
日本評論社
Related Report
-
-
-
-
-
-
-
