ニュースレター

概要：従来のコンピュータシステムでは解析することが困難であった巨大で複雑なデータの集積物「ビッグデータ」を活用していくことで、情報化社会が新しい段階へ進もうとしている。しかし、ビッグデータに内在する有用な情報を自由自在に活用するための技術開発はいまだ発展途上にあり、その開拓こそ世界が注目する最先端の研究トピックスと言える。ELCプロジェクトの一翼を担っている東北大学・徳山豪教授のチームでは、計算限界に関わる理論研究に支えられた革新的な手法により、ビッグデータの特性を効果的に引き出す実践的な仕組みを創り出している。そこで、チームリーダーの徳山さんに、その研究内容と今後の展望を語ってもらった。

［ELCNOW Vol. 4　全文］(PDF）

»続きを読む

概要：先ごろ、囲碁のプロ棋士に4勝1敗でコンピュータが勝ったと話題になった。しかし、コンピュータはなぜ1敗したのだろうか？将来、コンピュータによって実用化が期待される自動運転や医療診断に対して、私たちが命を預けられるほどの信頼感を抱くためには、そうしたミスが発生する原因や頻度をきちんと評価する基準が必要だろう。ELCプロジェクトのメンバーである九州大学教授・瀧本英二さんは、コンピュータが実現する知的情報システムの可能性と限界を研究し、そこに、理論保証を与えることで、安心して機械に身を委ねられる未来を創ろうとしている。瀧本さんに、その研究内容と、人工知能の将来性について語ってもらった。

［ELCNOW Vol. 3　全文］(PDF）

»続きを読む

概要：「「この世にタヌキがいることを証明せよ」と言われたら簡単だ。どこかでタヌキを1匹見つければよい。では、「カッパがいないことを証明せよ」と言われたらどうするか？一般にカッパはいないものと信じられているが、そのためには世界中のあらゆる場所を探して、どこにもいないことを明らかにしなくてはならないだろう。しかし、それはほとんど不可能だ。では，誰もが驚くような斬新な方法で、カッパがいないことを証明できないだろうか？ベンジャミン・ロスマンさんは、ELCプロジェクトの一員として、「P≠NP問題」解明の糸口となる「ない」ことの証明に挑み、世界中の研究者が40年間成し得なかった問題の一端をひも解くことに成功した。そこで、ロスマンさんの研究内容と、その研究への想いに迫ってみた。

［ELCNOW Vol. 2　全文］(PDF）

»続きを読む

概要：「計算」というと、足し算や引き算、九九などを思い浮かべる人は多いだろう。でも、普段使っているパソコンやスマホも、実はコンピュータと言われる高性能な“計算機”の一種。私たちは毎日計算と切っても切れない生活を送っており、世の中で起きているすべてのことは、計算で表すことができるのだ。これが「計算世界観」という考え方。計算の最先端の研究が、私たちの毎日とどう関わり、これからの社会をどう変えていくのか。ELCプロジェクトのリーダーである東京工業大学・渡辺治教授に伺った。

［ELCNOW Vol. 1　全文］(PDF）

»続きを読む

目次

1. 「困難なる旅路 ～FUN2014に参加して～」　　山中　克久（岩手大学）
2. 「University of Waterlooに行ってきました」　　伊藤　健洋（東北大学）
3. 今後の予定

»続きを読む

目次

1. 「マトロイド列挙と計算限界」　　森山 園子 （日本大学）
2. 今後の予定

»続きを読む

目次

1. 「日本人参加者たった一人の国際会議」　宇野　裕之（大阪府立大学）
2. 「センター試験日に思う」　泉　泰介（名古屋工業大学）
3. 「ポートランドに行ってきました：SODA2014会議報告」塩浦　昭義（東北大学）
4. 今後の予定

»続きを読む

目次

1. 「SAT，QBFとの出会い」　Skip Jordan（北海道大学）
2. 「暗号理論と計算限界から見えるアリスとボブの関係」　安永憲司（金沢大学）
3. 今後の予定

»続きを読む

目次

1. 「研究テーマとしての P vs. NP」　茨木 俊秀（京都情報大学院大学）
2. 「ハンガリーに行ってきました」　神山 直之（九州大学）
3. 「SoCG2013 会議報告」　徳山 豪（東北大学）
4. 今後の予定

»続きを読む

目次

1. 「常識は変わる」　伊藤　大雄（電気通信大学）
2. 「公募研究のご紹介」
3. 今後の予定

»続きを読む

目次

1. 「数理論理学からの計算限界解析」　河村　彰星（東京大学）
2. 「Web時代における研究スタイルとは？」　上原　隆平（北陸先端科学技術大学院大学）
3. 今後の予定

»続きを読む

目次

1. 「 計算限界解明のプロジェクト開始にあたって」　渡辺　治（東京工業大学）
2. 「研究とカネ」　岩間　一雄（京都大学）
3. 今後の予定

»続きを読む