田村 直之 : 神戸大学 情報基盤センター

Table of Contents

所属等

images/opera_house.jpg

シドニーにて (2008年)

田村 直之 (たむらなおゆき) 教授,学術博士
〒657-8501 兵庫県神戸市灘区六甲台町1-1
神戸大学 情報基盤センター
電話: 078-803-5364, E-mail: tamura @ kobe-u.ac.jp
研究室: 情報基盤センター 本館3階 研究室2
地図: Goole Maps APIを用いた地図
業績: Google Scholar Citations, ResearcherID, DBLP

最新情報と今後の予定

  • 2016
    • 2016-07-15 Fri 情報処理学会会誌 「情報処理」2016年8月号 で 「SAT技術の進化と応用 〜パズルからプログラム検証まで〜」が特集されました.
      1. SAT技術の進化 (番原睦則・鍋島英知)
      2. SATとパズル─問題をいかにSATソルバーで解くか─ (田村直之・宋 剛秀・番原睦則)
      3. SATとラムゼー数〜数学の未解決問題への挑戦〜 (藤田 博・越村三幸)
      4. SATとAI (井上克巳)
      5. SATソルバーの最近の進展 (鍋島英知・岩沼宏治・井上克巳)
      6. MaxSAT:SATの最適化問題への拡張─MaxSATソルバーの活用法─ (越村三幸・藤田 博)
      7. SMTソルバーによるプログラム検証 (石井大輔・上田和紀)
    • 2016-03-18 Fri 日本ソフトウェア科学会 第20回研究論文賞を受賞しました. 本論文賞の選定は,日本ソフトウェア科学会研究論文賞表彰規定に基づき, 2014年発行の「コンピュータソフトウェア」に掲載された全ての研究論文を対象として, 厳正な審査のもとに行われたものです. 筆頭著者の則武さんは田村研究室OBです.
      • 則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳: パッキング配列問題の制約モデリングとSAT符号化, コンピュータソフトウェア,Vol.31, No.1, p.116-130, 2014. (J-Stage)
    • 2016-01-09 Sat Donald Knuth's new book is arrived! Our works are refereed in pages 100, 171, 264, 267, and 268. The order encoding is explained in pages 98–101, 114, 120, 170–173, 190, 268, and 281.
  • 2009
    • 2009-10-02 金 第4回国際制約ソルバー競技会 で, 本研究室で開発しているソフトウェアである Sugar が, 全7部門中の 3部門で優勝 しました. 本年度の競技会には各国から9チーム14ソルバーが参加し, SugarはAlldiff, Alldiff+Elt+Wsum, Alldiff+Cumul+Elt+Wsumの3部門で第1位となりました. これらは前回のGLOBAL部門が3つに分かれたものです. 詳しい結果は こちら をご覧ください. なおMax-CSP Solver Competitionは,参加ソルバーがSugarのみだったため 残念ながら開催されませんでした.
  • 2008
    • 2008-09-14 日 第3回国際制約ソルバー競技会 で, 本研究室で開発しているソフトウェアである Sugar が, CSP Solverの5部門およびMax-CSP Solverの5部門の全10部門中, 4部門で優勝 しました. このCompetitionは, スケジューリング問題や長方形パッキング問題等, 解くのが非常に難しい制約充足問題(CSP)を対象として, 解を探索するプログラムの性能を競うものです. 本年度のCSP Solver Competition (全5部門)には 各国から14チーム,24ソルバーが参加し, SugarはGLOBAL部門で第1位となりました. Max-CSP Solver Competition (全5部門)には 4チーム,8ソルバーが参加し, Sugarは2-ARY-INT, N-ARY-INT, GLOBALの3部門で第1位となりました. 詳しい結果は こちら をご覧ください.

注意

The Beatles – Yesterday Lyrics (by Reuben?)

Yesterday,
All those backups seemed a waste of pay.
Now my database has gone away.
Oh I believe in yesterday.

Suddenly,
There's not half the files there used to be,
And there's a milestone hanging over me
The system crashed so suddenly.

I pushed something wrong
What it was I could not say.
Now all my data's gone
and I long for yesterday-ay-ay-ay.

Yesterday,
The need for back-ups seemed so far away.
I knew my data was all here to stay,
Now I believe in yesterday.


昨日まで,
バックアップなんて金の無駄だと思ってた.
今日,僕のデータベースは飛んでしまった.
ああ,僕は昨日を信じる.

突然だった,
元のファイルの半分も残ってない,
えらいことが僕に起こってしまった
システムクラッシュはやって来た,突然に.

なにか僕が押し間違えたんだ
どう間違えたか,言えないけど
今日,データは全部飛んでしまった.
僕は昨日を待ち望むぅぅぅ.

昨日,
バックアップの必要性など,ひとごとに思えた.
僕のデータは全部残るものと思ってた.
今日,僕は昨日を信じる.

リンク

?????

Date: 2016-07-30 14:04:10 JST

Org version 7.8.02 with Emacs version 24

Validate XHTML 1.0