Tatsuhiro Tsuchiya's Web Page
Tatsuhiro Tsuchiya

氏名:
土屋 達弘

所属:
大阪大学 大学院情報科学研究科 情報システム工学専攻

役職: 教授

専門: コンピュータ工学.特に,
・分散アルゴリズム
・モデル検査
・ソフトウェアテスト
・信頼性評価・最適化


お知らせ

電子情報通信学会英文論文誌上にてフォーマルアプローチ特集を企画しています.詳しくは CFPのページをご覧ください.

組合せテスト用テストケース作成ツールCIT-BACHをver 1.10にバージョンアップしました.(2016.03.24)

組合せテスト用テストケース作成ツールCIT-BACHを公開しました.ExcelベースのツールQumiasのバックエンドです.(2012.11.26)

研究室の体制が一新されました.(2012.4.1)

2011年2月28日,産業技術総合研究所 関西センターで開かれたOsaka Workshop for Verification and Validationで講演しました.タイトルは,「SAT/SMT-Based Verification of Concurrent Systems」です.ここからスライドをご覧頂けます.(2011.8.25)

2010年電子情報通信学会ソサイエティ大会のチュートリアルセッションで講演しました.タイトルは,「モデル検査のためのコンカレントシステムの仕様記述」です.ここからスライドをご覧頂けます.(2010.9.15)

「教養のコンピュータアルゴリズム」の紹介ページをつくりました.(2010.6.29)

拙著「教養のコンピュータアルゴリズム」が出ます.店頭に並ぶのは11月24日ころだと思います. プログラムを作ったことはないけど,なぜ動くのか知りたいという人を対象にしています.(2009.11.4)

Book: 教養のコンピュータアルゴリズム