教員紹介:橋本 健二(はしもと けんじ)
研究内容
形式言語理論に関する研究と、それらの知見を利用してシステムの安全性などの検証法に関する研究に興味をもって取り組んでいる。具体的には、木変換器などの形式モデルなどの基礎研究や、それらを利用してXML文書などの構造化データに対する ...
Rep-Tileパズルの解の総数はいくつ? –論理式を用いた計数–
橋本 健二(情報システム学専攻)
Rep-Tileというパズルをみなさんご存知でしょうか? いわゆるタイルの敷き詰めパズルなのですが、この記事ではそのRep-Tileを題材に敷き詰め方の総数を求める問題についてお話します。 ...