主なゼミ・研究課題

大堀研究室では，プログラミング言語全般（理論，実装など）やデータベースに関する研究を行っています．ここでは，当研究室で取り扱っているトピックの一例を紹介します．

当研究室では，それぞれのテーマについて週に数時間程度の個別のゼミを設け，密度の高い研究を行っています．当研究室に配属された学部生および大学院生は，在籍期間を通じて下記のようなテーマに取り組み，学位取得だけでなく，外部発表に繋がる研究成果を目指して研究を行います．

また，進行中の研究に直接関連するゼミだけでなく，主に学部生を対象とする基礎的なゼミや，幅広い知識と技術を身につけるための様々なテーマのゼミなどを行っています．

各トピックの紹介は，そのゼミに参加している学生が書いています．

• SML#でのプログラミング
• ラムダ計算の勉強
• ソフトウェアの話題（Unix系OS・プログラミング言語）

学生が取り組むテーマは各学生とスタッフが話し合って決めています．以下はその一例です．

• データベース
• Zipper Control Flow Graph
• Garbage Collection
• レジスタ割り付け