学位論文要旨
No
103230
著者（漢字）
辻,尚史
著者（英字）
著者（カナ）
ツジ,タカシ
標題（和）
実数計算を含むプログラムの正当性について
標題（洋）
Mathematical Basis for Rounded Computation
報告番号
103230
報告番号
甲03230
学位授与日
1974.02.14
学位種別
課程博士
学位種類
工学博士
学位記番号
博工第682号
研究科
工学系研究科
専攻
計数工学専攻
論文審査委員
─：
内容要旨
データはありません
審査要旨
データはありません
UTokyo Repositoryリンク