k-hasimt@i.nagoya-u.ac.jp | 情報玉手箱

Model Counting Competition 2023よりProjected Weighted Model Counting 部門第1位を受賞しました。(情報システム学専攻橋本健二助教)

未分類受賞報告, 情報システム学専攻

グラフ数え上げ国際競技会（ICGCA）よりアイデア部門（The Inspiring Idea Track）第1位を受賞しました。(情報システム学専攻小栗滉介 M1・情報システム学専攻橋本健二助教・情報システム学専攻酒井正彦教授)

未分類受賞報告, 情報システム学専攻

Model Counting Competition 2022よりModel Counting Competition 2022 Projected Model Counting 部門及び Projected Weighted Model Counting 部門第1位を受賞しました。(情報システム学専攻橋本健二助教・情報システム学専攻葉翔太 M2)

未分類受賞報告, 情報システム学専攻

教員紹介：橋本健二（はしもとけんじ）

情報システム学専攻教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

形式言語理論に関する研究と、それらの知見を利用してシステムの安全性などの検証法に関する研究に興味をもって取り組んでいる。具体的には、木変換器などの形式モデルなどの基礎研究や、それらを利用してXML文書などの構造化データに対する ...