情報システム学専攻転出・退職, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

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

情報システム学専攻非機械学習AI, 情報システム学専攻

橋本 健二(情報システム学専攻)

Rep-Tileというパズルをみなさんご存知でしょうか? いわゆるタイルの敷き詰めパズルなのですが、この記事ではそのRep-Tileを題材に敷き詰め方の総数を求める問題についてお話します。 ...