JAIST Repository > School of Information Science > Grants-in-aid for Scientific Research Papers >
項書き換えに基づく計算量解析の自動化
無線ヘテロジニアスネットワークにおける非対称マルチキャスト通信の提案と実証実験
構成的数学における逆数学の研究
名人を超えるコンピュータ将棋
証明スコアによる問題モデルの検証技術