制御工学の研究成果の急成長に伴い、ドメイン知識の構造化と形式化の新しいアプローチが求められています。本論文では、LLM（大規模言語モデル）を活用した形式的知識表現の半自動生成手法を簡潔に紹介しています。この手法は、人間が理解可能でありながら、機械にとっても解釈可能な表現を提供し、さらに表現力を向上させることを目指しています。特に、知識の命令的表現（PyIRK）フレームワークに基づき、自然言語の記述や数学的定義（LaTeXソースコードとして提供）を形式化された知識グラフに変換するプロセスを示します。最初の応用として、情報源文書を豊かにする「インタラクティブセマンティックレイヤー」の生成を提案し、知識移転の促進に寄与することを目指しています。このアプローチは、制御工学領域におけるアクセス可能で協調的かつ検証可能な知識ベースの実現に貢献すると考えられています。