本ウェブサイト http://www.lab2.kuis.kyoto-u.ac.jp/~tamak/ は今後更新されません (2019/4/1)
玉置 卓 （たまき すぐる)
所属: 京都大学 情報学研究科 通信情報システム専攻 論理回路分野
住所: 〒606-8501 京都市左京区吉田本町
居室:
本部構内
総合研究7号館 235号室
電話: 075-753-5392 (内線 5392)
Fax: 075-753-5972
Email:
研究分野:
- 計算量理論
- 証明の複雑さ
- 充足可能性問題 (SAT)
- 近似困難性