スポンサーリンク
早稲田大学理工学研究科 | 論文
- 微動測定によるRC造HPシェル型給水塔の振動特性(構造)
- 繁華街の各種照明が夜間景観に与える影響に関する研究 : 新宿区歌舞伎町1丁目を事例として
- Al-Si合金における初晶Siの微細化
- 鋳鉄の黒鉛組織に及ぼす冷却速度とTi量の影響
- プログラム変換における数式処理の役割
- 単一後継関数を持つ再帰プログラムからの再帰除去
- LB-1 単一後継関数を持つ再帰プログラムからの再帰除去及び閉式化(B. ソフトウェア)
- 葉数最適整列法LOASの実用化方式
- 数式処理系を利用したプログラム変換 (プログラム変換と記号・数式処理)
- 一般部分計算(GPC)における定理証明系と停止条件の判定 (プログラム変換と記号・数式処理)
- 一般部分計算法(GPC)によるプログラム自動生成 (プログラム変換と記号・数式処理)
- 3K-5 一般部分計算(GPC)の実験システムの実装
- 線形再帰プログラムからの再帰除去法の実現とその問題点(一般発表)
- オブジェクトを用いた計算モデルとその2次元トレーサへの応用
- 拡張Strassen法による連立一次方程式の精度保証 (数値解析と新しい情報技術)
- 斜入射X線回折法による水面上J会合体単分子膜の構造解析とその励起子吸収帯のエネルギー準位の計算
- 好塩性細菌群の脱窒活性に関する分子生物学的評価・解析
- PCR-DGGE法を用いた排水処理プロセスにおける微生物群集構造の評価・解析
- 母音認謙とピッチ検出による歌声のテンポ抽出
- センサーネットワークにおけるSLAMを用いた位置推定実験(センサネットワーク)