横山 哲郎


可逆ビンソート
横山 哲郎 
誌名:   
発行日: 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)