横山 哲郎


可逆プログラミング言語R-WHILEの可逆チューリング完全性
青木 崚 横山 哲郎 
誌名:   
発行日: 2018/09/01
Vol. J101-D  No. 9  pp. 1372-1375
論文種別:  レター
専門分野: 
キーワード: 
可逆プログラミング言語可逆チューリング機械可逆チューリング完全性R-WHILE
 あらまし | 本文:PDF(345.2KB)

ハミルトン曲面流に対応する流れの向きを考慮した極大語の列挙アルゴリズム
横山 哲郎 横山 知郎 
誌名:   
発行日: 2018/08/01
Vol. J101-D  No. 8  pp. 1220-1222
論文種別:  レター
専門分野: 
キーワード: 
ハミルトン流オートマトンステートチャートトポロジー
 あらまし | 本文:PDF(303.2KB)

可逆ビンソート
横山 哲郎 
誌名:   
発行日: 2018/05/01
Vol. J101-D  No. 5  pp. 791-793
論文種別:  レター
専門分野: 
キーワード: 
可逆プログラムビンソート可逆シミュレーションJanus
 あらまし | 本文:PDF(470.3KB)

ハミルトン曲面流に対応する語の列挙アルゴリズム
横山 哲郎 横山 知郎 
誌名:   
発行日: 2017/10/01
Vol. J100-D  No. 10  pp. 892-894
論文種別:  レター
専門分野: 
キーワード: 
ハミルトン流正規表現DFAトポロジー
 あらまし | 本文:PDF(274.5KB)

可逆プログラムのための償却定数時間かつ定数ゴミ使用量のメモ化
横山 哲郎 
誌名:   
発行日: 2017/10/01
Vol. J100-D  No. 10  pp. 895-896
論文種別:  レター
専門分野: 
キーワード: 
可逆プログラムメモ化抽象解釈Janus
 あらまし | 本文:PDF(168.2KB)