ScienceとEngineeringをつなぐ「Art」を求めて

情報科学の基礎には分野横断的な数学的理論の領域があります。一方で、個別の実問題を解くために特化した実践的な技術研究の領域が多数並列に存在しています。本研究室では、この二つの層をつなぐために必要となる汎用技術基盤の実現を目指して研究を行っています。従って、概念的・理論的成果だけではなく、工学的な要件を満たし実用に耐えるアルゴリズムを実装することを重視します。また、各応用分野の固有の問題にアドホックに対応するのではなく、技術基盤としての簡潔さや汎用性を重視します。この指向性こそが Science とEngineering をつなぐ、いわゆる「Art」であると我々は考えています。

情報科学者として、なぜそうなるのかという原理を追求すると同時に、技術者としての「技」を研ぎ澄ますことで、様々な実世界の問題を裏付けを持って解決していくことを目指しています。魂は細部に宿る！

「Art」な世界へようこそ。

• メンバー
• 研究紹介
• 研究成果

教員の研究や成果については下記ページをご覧ください。

• 准教授： 瀧川 一学 (たきがわ・いちがく)
  http://art.ist.hokudai.ac.jp/~takigawa/

研究室ライフ

研究室は情報科学研究科棟6Fの6-14および6-17で活動しています。また、基盤Sプロジェクトの研究室が知識メディアラボラトリ棟(VBL棟)3Fにあり、セミナー・ランチミーティング・大学院生のRAの活動の場になっています。研究室メンバーはこの二拠点を行き来して、自由な雰囲気で活動しています。研究室では、新歓や送別の宴会ももちろんですが、みんなで集まって鍋を囲む会を開いたりもしています。各自のデスクトップPC/ノートPC、計算サーバーやワークステーション、GPUクラスタなどの高性能計算環境や関連する専門書など、研究に必要なものは揃っており、また無いものはリクエストできます。

研究室では毎週定例で、メンバーの近況・研究・興味についてワイワイしゃべるランチミーティング、メンバー各自の研究や関連研究についてキチンとした形で発表・紹介する定例ゼミ(月一回、情報知識ネットワーク研究室・アルゴリズム研究室の二研究室と合同)、Don Knuthの「The Art of computer programming」のディープな世界を味わえる輪読会、を行っています。この他にも、プログラミングコンテスト愛好者による勉強会およびコンテストへの参加、「組合せ最適化」など関連テーマの勉強会、などなど、各種自主勉強会を色々と行っています。

研究プロジェクト

先端の研究プロジェクトが進められており、国内外の有力研究者の訪問やセミナー、研究会開催、他分野・他部局(電子科学研究所、医学研究科、触媒科学研究所など)との連携、など、研究について最新の知見が得られる環境が整っています。

• 基盤(S) 離散構造処理系プロジェクト
• 電子科学研究所 附属社会創造数学研究センター
• Global Station for Big Data and Cybersecurity
• JSTさきがけ・マテリアルズインフォマティクス領域

修了生・卒業生の就職先 (2015年度以降〜)

グーグル、デンソー、野村総合研究所、三菱UFJ信託銀行、三井物産セキュアディレクション(株)、株式会社ジーニー、株式会社SHIFT、(株)アルファシステムズ、アマゾン ウェブ サービス ジャパン(株)

修士論文・卒業論文 (2015年度以降〜)

2017年度 修士論文

• 統計データのホットスポットのZDD表現に関する研究 (石丸 亮)
• グラフ分類における特徴量探索空間の拡張 (岡崎 文哉)
• 組成情報と要素特徴量の統合に基づく多元系触媒活性の予測 (鈴木 慶介)
• 株価データベースの曜日傾向に基づく類似パタン抽出法に関する研究 (林 大祐)
• 全部分グラフ指示子に基づく非線形グラフ分類回帰 (横山 侑政)

2017年度 卒業論文

• 木アンサンブルに基づく変数間交互作用の推定 (横山 祐也)
• ランダムフォレスト分類器のハードウェア化に向けた数値量子化方法に関する研究 (櫻田 健斗)
• ZDDを用いた集合分割の族の表現法とその実験的評価 (髙橋 翔哉)
• グラフ畳み込みネットワークに基づく化合物データの特徴表現の学習 (菊地 翔馬)
• グラフ分類における部分グラフ特徴集合の確率的探索 (白川 稜)
• ハイパーパラメータ探索におけるメタ学習の有効性 (宮村 優介)
• ZDDを用いた組合せテストケースの最適解列挙に関する実験と考察 (大畑 翔平)

2016年度 修士論文

• ABS作動データを用いた分析による札幌市内の道路凍結の予測 (穐本 浩昇)
• 論理制約を伴うグラフ最短路問題のA*探索に基づく高速解法 (竹内 文登)

2016年度 卒業論文

• 系列二分決定グラフを用いた頻出部分グラフの圧縮表現 (奥山 葉月)
• 定量的構造活性相関予測における化合物特徴表現の実験的検証 (越野 沙耶佳)

2015年度 修士論文

• ZDDを用いたグラフ列挙における種々の頂点制約を扱うための拡張と改良 (鈴木 浩史)
• ZDDを用いたグラフ列挙における変数順序付け法の実験と考察 (伊藤 華)
• ZDDに基づく制約充足問題の解法とマインスイーパ問題への適用 (孫 浩)

2015年度 卒業論文

• Sequence BDDを用いたグラフウォークの高速な列挙アルゴリズムに関する実験と考察 (石丸 亮)
• Wildcardを許容した頻出部分グラフ列挙とその出力要約 (岡崎 文哉)
• ゼロサプレス型二分決定グラフを用いた組合せテストケースの列挙に関する実験と考察 (佐藤 智之)
• 株価データベースに対する周期変動パタンマイニングとその評価 (林 大祐)
• 全部分グラフ指示子に基づく決定木学習 (横山 侑政)