Extending efficient reversible simulations and the methods of reversible programming
Extending efficient reversible simulations and the methods of reversible programming
扩展高效的可逆模拟和可逆编程方法
批准号：
25730049
负责人：
YOKOYAMA Tetsuo
金额：
$2.58万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(15)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
A Linear-Time Reversible Self-Interpreter
线性时间可逆自解释器
线性时间可逆自解释器
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[横山哲郎, ロバートグリュック]
通讯作者：
ロバートグリュック
コペンハーゲン大学(デンマーク)
哥本哈根大学（丹麦）
哥本哈根大学（丹麦）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
引数渡し機構をもつ可逆プログラミング言語の可逆性
具有参数传递机制的可逆编程语言的可逆性
具有参数传递机制的可逆编程语言的可逆性
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[田中秀明, 新海由侑, 横山哲郎]
通讯作者：
横山哲郎
可逆プログラミング言語R-WHILEによる万能可逆チューリング機械の構成
使用可逆编程语言 R-WHILE 构建通用可逆图灵机
使用可逆编程语言 R-WHILE 构建通用可逆图灵机
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Alexis De Vos, Stephane Burignat, Robert Glueck, Torben AEgidius Mogensen, Holger Bock Axelsen, Michael Kirkedal Thomsen, Eva Rotenberg, Tetsuo Yokoyama, 青木 崚，柴田 心太郎，横山哲郎]
通讯作者：
青木 崚，柴田 心太郎，横山哲郎
リストの可逆分割アルゴリズムを利用したゴミ情報が最適な可逆クイック整列法の生成
使用可逆列表划分算法生成垃圾信息最优的可逆快速排序方法
使用可逆列表划分算法生成垃圾信息最优的可逆快速排序方法
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[山下健太, 横山哲郎]
通讯作者：
横山哲郎
共 14 条
Design and Implementation of Reversible Computing Systems andReversible Programming Languages
-
批准号：22700042
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$1.75万
-
财政年份：2010
-
负责人：YOKOYAMA Tetsuo
-
依托单位：
Experimental and Clinical Study of Auditory Evoked Potentials
-
批准号：62570652
-
项目类别：Grant-in-Aid for General Scientific Research (C)
-
资助金额：$0.51万
-
财政年份：1987
-
负责人：YOKOYAMA Tetsuo
-
依托单位：