程研究室における修士論文・卒業論文の参考文献形式

• はじめに
• bibスタイルファイル
• 書式
  • 学術雑誌論文
  • 単行本：
  • 単行本に編集された章、論文：
  • 国際会議、国内シンポジウム論文集論文：
  • 博士、修士、卒業論文：
  • Webページ

はじめに_

程研究室における博士論文・修士論文・卒業論文の参考文献形式を以下の形式で統一します。

なお、査読なしの論文（いわゆる学会講演論文）はどうしても入れないといけない場合を除き、参考文献に入れないでください。 また、「C言語入門」や「CGIハンドブック」などのHow to 本，Wikipediaのような情報が不確かなものは参考文献にいれないでください。

bibスタイルファイル_

bibtexを使用している人は、以下を試してみてください。程研究室所属の黄くんが作成してくれました。

• AISE bstファイル

書式_

学術雑誌論文_

• 多川 孝央, 大堀 順也, 程 京徳, 牛島 和夫: 相関論理における強相関性原理, 人工知能学会誌, Vol. 13, No. 3, pp. 387-394, 1998年5月.
• Yusuke NONAKA, Jingde CHENG, and Kazuo USHIJIMA: A Tasking Deadlock Detector for Ada 95 Programs, Ada User Journal, Vol. 20, No. 1, pp. 79-92, April 1999.

単行本：_

• 程 京徳: 相関論理入門, 何らか出版社, 200?年?月.
• Qun JIN, Jie LI, Nan ZHANG, Jingde CHENG, Clement YU, and Shoichi NOGUCHI: Enabling Society with Information Technology, Springer-Verlag, November 2001.
• Matthew Hennessy著, 荒木 啓二郎, 程 京徳 共訳： プログラミング言語の意味論入門, サイエンス社, 1993年12月.

単行本に編集された章、論文：_

• Jingde CHENG: Relevance Logic and Entailment Logic, in I. Nakada and M. Hagiya (Eds.), "Software Science and Engineering," pp. 189-211, World Scientific, November 1991.
• Yusuke NONAKA, Jingde CHENG, and Kazuo USHIJIMA: A Supporting Tool for Development of Self-measurement Ada Programs, in H. B. Keller and E. Ploedereder (Eds.), "Reliable Software Technologies - Ada-Europe 2000, 5th International Conference on Reliable Software Technologies, Potsdam, Germany, June 2000, Proceedings," Lecture Notes in Computer Science, Vol. 1845, pp. 69-81, Springer-Verlag, June 2000.

国際会議、国内シンポジウム論文集論文：_

• Yuichi GOTO, Daisuke TAKAHASHI, and Jingde CHENG: Parallel Forward Deduction Algorithms of General-Purpose Entailment Calculus on Shared-Memory Parallel Computers, Proceedings of the ACIS 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing, pp. 168-175, Nagoya, Japan, August 2001.
• 小出 雅人, 程 京徳: インターネット上でカードゲームを行うための汎用プロトコル群の開発, 情報処理学会第６回ゲーム・プログラミング国際ワークショップ論文集, pp. 78-85, 箱根, 日本, 2001 年10月.

博士、修士、卒業論文：_

• 野中 祐介：自己計測機能を含む並行システムの開発に関する研究, 九州大学大学院システム情報科学研究科博士論文, ２００２年１月.
• 西 和則：前向き自動帰結演算システムの効率化, 九州大学大学院システム情報科学研究科修士論文,１９９７年２月.
• 芹沢 響：JAVA並行プログラムにおけるデッドロックの実行時検出 − デッドロックの分類と前処理部の開発, 埼玉大学工学部情報システム工学科卒業論文, ２０００年２月.

Webページ_

• 著者名：Webページの題名，Webサイトの名称（著者と同じ場合は省略してもよい），入手元URL (参照年月日)．
• 情報処理学会: コンピュータ博物館設立の提言, http://www.ipsj.or.jp/03somu/teigen/museum200702.html (参照2007-02-05)．
• Alan Kay: Welcome to Squeakland, Squeakland, http://www.... (accessed 2007-04-05).