ブックタイトルGSIS_2019

概要

GSIS_2019

システム情報科学専攻Department of System Information Sciences 35■研究キーワード■■KEYWORDS ■教 授SML#, a state of the art compiler Machine code generation by a calling-convention compile algorithmSML# コンパイラが実現する先進的機能 呼び出し規約コンパイルアルゴリズムによるマシンコードの生成Today’s software systems are becoming more and more complicated due to the need of integratingvarious computation resources available in the Internet. A key to control the complexity and to enhancethe reliability of such a system is to develop a high-level programming language that can directlyrepresent various resources and automatically detect potential inconsistencies among the componentsin a system.Based on this general observation, our research aims at establishing both firm theoretical basis andimplementation techniques for a flexible and reliable programming language. One direction towardthis goal is to establish logical foundations for compilation, such as a proof-theory that accounts forthe entire process of compilation including A-normalization and code generation as a series of prooftransformation. We are also developing a new practical ML-style programming language, SML#, thatembodies some of our recent results such as record polymorphism, and seamless interoperability withexisting practical programming languages and relational databases.Developments of Flexible and Reliable ProgrammingEnvironments今実現しつつある高度情報化社会は、その制御機構の中枢が、多様で膨大なソフトウエア群によって担われている。このような社会が、従来通りの信頼性と安全性を確保しながら発展してゆくには、高信頼ソフトを効率よく構築する技術の確立が必須である。高信頼プログラミング言語の開発は、その中核をなす重要な課題である。そこで本研究分野では、高信頼プログラミング言語の基礎理論および実装技術の研究、さらに、基礎研究成果を活かした実用システムの開発を目指している。基礎研究に関しては、コンパイル過程を証明変換と捉えることにより堅牢で系統的なコンパイルアルゴリズムの導出を目指すコンパイルの論理学的基礎の研究、大量の情報をデータベースとして統合しそれをプログラミング言語によりシームレスに操作する情報処理基盤の研究、既存の実用言語に関する形式意味論の研究、などに取り組んでいる。また、実用システムとして、これまでの基礎理論の研究によって得られた多相型レコード演算や他言語との高水準連携などの先端機能を装備した次世代高信頼プログラミング言語SML# を開発している。さらに、産学連携を通じて次世代プログラミング言語の産業的応用に関する研究に取り組んでいる。高信頼・高機能プログラミング環境の構築准教授Assoc. Prof.Katsuhiro Ueno上野 雄大Prof.Atsushi Ohori大 堀 淳Programming Language ／ Database ／ Compiler ／ Logicプログラミング言語／データベース／コンパイラ／論理学http://www.pllab.riec.tohoku.ac.jpSoftware Constructionソフトウェア構成論Assis. Prof.Kentaro Kikuchi助 教 菊池 健太郎