横山 哲郎


多重連結領域上の安定非圧縮流のプリミティブな局所構造変換
横山 哲郎 横山 知郎 
誌名:   
発行日: 2019/03/01
Vol. J102-D  No. 3  pp. 235-238
論文種別:  レター
専門分野: 
キーワード: 
非圧縮曲面流トポロジー形式文法構造安定性
 あらまし | 本文:PDF(787.3KB)

二分木の辞書順のランク計算の効率的なクリーン可逆シミュレーション
柴田 心太郎 横山 哲郎 
誌名:   
発行日: 2019/03/01
Vol. J102-D  No. 3  pp. 130-140
論文種別:  特集論文 (学生論文特集)
専門分野: 情報・システム基礎
キーワード: 
可逆プログラムクリーン可逆シミュレーションランク二分木Janus
 あらまし | 本文:PDF(1.2MB)

可逆プログラミング言語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)