リサーチレポート（情報科学研究科）タイトル一覧
2015年に発行した本学情報科学研究科のリサーチレポートを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。
リサーチレポート - 情報科学研究科 2015 ： ISSN 0918-7553
| 発行番号 |
IS-RR-2015-001 |
| 論文タイトル |
Formal Semantics of Core SQL Language based on the K Framework |
| 著者 |
Sitthisak, Pakakorn |
| 発行年月日 |
20150217 |
| ページ |
ii, 1-71 |
| 発行番号 |
IS-RR-2015-002 |
| 論文タイトル |
Generic Proof Scores for Generate & Check Method in CafeOBJ |
| 著者 |
Futatsugi, Kokichi |
| 発行年月日 |
20150218 |
| ページ |
1-32 |
| 発行番号 |
IS-RR-2015-003 |
| 論文タイトル |
Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering : A feasibility study |
| 著者 |
Défago, Xavier / Potop-Butucaru, Maria Gradinariu / Clémente, Julien / Messika, Stéphane / Raipin-Parvédy, Philippe |
| 発行年月日 |
20150220 |
| ページ |
1-24 |