スポンサーリンク
京都大学大学院エネルギー科学研究科 | 論文
- フリーマン型イオン源におけるメチルシランのフラグメントイオンとタングステンワイヤ表面状態
- ヘリオトロンJ第1期実験
- 27pXH-7 ヘリオトロンJ装置計画とその初期実験結果
- 29pB02 ヘリオトロンJ第1期実験(ヘリカルII)
- ヘリカル軸ヘリオトロン装置(ヘリオトロンJ)実験計画
- He II冷却による超伝導磁石システム設計のためのデータベース構築(3) : 一般公開に向けて
- 29aB05 外部摂動に対する応答としての磁気島形成(ヘリカル/トカマク理論・解析)
- 境界層理論を用いた強制磁気再結合の解析
- 家庭用省エネ支援プログラムの開発とその有効性検証
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)
- 数学記号の認知速度 : 実験心理学的計測方法と実例
- Polyvariant Specializationon Type-directed Partial Evaluation
- Constructive Data Refinementの証明技法の改善
- 二階文脈計算(プログラミング及びプログラミング言語)
- 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
- 型情報を一部明示した環境計算体系
- オメガ正規言語の測度が有理数であること
- 適切さの論理を用いた帰納論理プログラミング
- 発見科学の構想と展開(発見科学)
- 参照透明な代入を持つ純関数型言語