この度、有限会社トゥルーロジックを設立し代表取締役に就任しました。今後は微力でありますが形式手法の産業界への普及を目指し活動してゆきたいと思っております。今後ともご指導よろしくお願いいたします。WebSite: http://www.truelogic.jp/