湯浅 能史 | 早稲田大学理工学総合研究センター
スポンサーリンク
概要
関連著者
著作論文
- 変数の出現条件を用いた融合変換とその反復適用について (プログラム変換と記号・数式処理)
- 変数条件に基づく原始帰納関数の再帰融合について
- 一般部分計算における形式的推論体系の利用について(一般発表)
- 証明論的手法による一般部分計算の記述
- Shrinkability of Unbounded Sets in the Cohen Extention(Metamathematics and it's applications)