開催概要マルレク2018-2019は、2018年5月から2019年3月まで、計7回の開催を予定しています。マルレク」開催につきましては一般受講受付に先立ち、個人協賛会員向の先行受付を行います。11月2日(金)10:00受講申込はこちらから。マルレク2018第四回では開催当日(11月2日)にお手伝いいただける方を若干名募集しています。(お手伝い募集は終了いたしました。ご応募ありがとうございました。今回のマルレクのテーマは、「量子アルゴリズム入門」です。はじめとする大手ITベンダーが、50-100qubitの中規模の量子コンピュータを実際に作り上げる取り組みを精力的に進めていることが大きいかもしれません。それは、確かに重要な変化です。現在起きている変化は、それだけではありません。量子コンピュータをハードウェアだとすると、その上で走るソフトウェアに相当する「量子アルゴリズム」の研究・開発が、爆発的に進んでいます。90年代にショアの素因数分解のアルゴリズムが発表された時は、ハードウェアの実現の見通しとは独立に、アルゴリズムそのものに、非常に大きな関心が集まりました。そこで膨らんだ期待が、ハードウェア上の制約で、その実現がすぐには難しいと分かった時に、量子コンピュータそのものに対する失望に変わったように思います。冒頭にも書きましたように、量子コンピュータのデバイスとしての実現可能性をめぐる状況は、90年代とははっきり変わって来ています。それ以上に重要なことは、この分野のイノベーションは、ショアのアルゴリズムの発見がそうであったように、先行する理論的探求によってに牽引されるということです。現在、多くの研究者を巻き込み、深い結果が出て来ている量子アルゴリズムの研究動向は、量子コンピュータの未来を占う上で、決定的と言っていい重要な意味を持っています。今回のマルレクでは、量子アルゴリズムの「金字塔」といっていい、ショアのアルゴリズムの中核である「量子フーリア変換」のやさしい解説を行いたいと思います。内容は、きっと役にたつと思います。紹介しようと思います。8月27日(月)10:00受講申込みはこちらから。マルレク2018-2019第三回では開催当日(6月26日)にお手伝いいただける方を若干名募集しています。(お手伝い募集は終了いたしました。ご協力ありがとうございました。自由に言語を操る人間の能力を機械で実現することは、人工知能研究にとって、大きな目標の一つです。それは、人工知能研究の「究極」の目標になるだろうと僕は考えています。他の動物にはない人間の「知能」の核心部分を構成しているのは、人間の言語能力に他ならないと考えているからです。ここ数年で、この分野では大きな前進がありました。Googleのニューラル機械翻訳やAlexa等の音声インターフェースを備えたパーソナル・アシスタント・システムの登場は、画期的なものです。今回のレクチャーでは、「自然言語とコンピュータ」をテーマに、この分野の取り組みを概観したいと思います。コンピュータによる自然言語処理に興味を持つ人だけではなく、広く人工知能技術の現在の到達点に関心を持つ人にも、有益な情報を提供したいと考えています。第一部では、ディープラーニング技術からのこの分野のアプローチを紹介します。ここでの目覚ましい成果は、ディープラーニング技術の機械翻訳への応用です。Facebookの取り組みについても紹介しようと思います。Home等の、パーソナル・ボイス・アシスタントの取り組みの現状を紹介します。正確にいうと、この両者は、言語について多少異なるアプローチをとっているのですが、第一部で取り上げるディープラーニングに基づいたアプローチとは、明確に異なる技術に基づいていることには注意が必要です。モデルに依存しています。第三部では、「文法」に基づいてコンピュータで「文」を生成しようという取り組みを紹介します。主要には、言語学の世界で生まれたアプローチで、コンピュータ上での実装では遅れていますが、コンピュータで可能な「計算」として言語能力のモデルを作ろうという試みは、興味深いものです。代表として、Lambekのカテゴリー文法とChomskyの”Merge”の理論を紹介したいと思います。6月25日(月)12:00受講申込みはこちらから。マルレク2018-2019第二回では開催当日(6月26日)にお手伝いいただける方を若干名募集しています。(ご応募ありがとうございした。募集は終了いたしました。計算技術」としての量子コンピューティングに対する関心は、高いものがあります。本セミナーは、量子コンピューティングの現状と課題について、情報を共有することを目的としています。ここでは、今回のセミナーの前提となる量子コンピュータの歴史の部分を紹介したいと思います。量子コンピュータのコンセプトは、1982年に物理学者のファインマンが、「量子力学をコンピュータでシミュレートする」というアイデアを出した時に遡ります。1986年には、物理学者のドイッチェが、コンピューターの計算可能性を理論的に定式化した「チャーチ・チューリングのテーゼ」を、量子コンピュータにも拡張します。この80年代、量子コンピュータに対する関心は、物理学者の一部に限られていたと思います。90年代に入って、IBMのショアが、量子コンピュータを用いた素因数分解アルゴリズムを発見します。1994年のことです。量子コンピュータに対する関心は、IT業界も巻き込んで大きく広がります。ショアのアルゴリズを実行するマシンができたら、現代のネットワーク社会のセキュリティの基礎である暗号化技術はたやすく破られるからです。幸か不幸か、ショアのアルゴリズムが動く量子コンピュータは、実現できませんでした。ショアのアルゴリズムを実装するために必要な量子周囲の数は膨大なもので、かつ、周囲のノイズの影響を強く受ける量子回路には不可欠な量子エラー訂正回路も、量子回路の数を雪だるま式に増やすことになります。重要なことは、こうした状況は、現在も基本的には変わっていないのです。して、量子コンピュータに対する関心は、だんだん醒めて行きます。2010年代に入って、量子ゲート型の量子コンピュータの将来性に見切りをつけた人たちが、新しいアーキテクチャーである量子アニーリング型の量子コンピュータを開発し、商用化します。ローズ率いるD-Wave社は、その代表例です。彼らの「量子コンピュータ」が、本当に、量子的な効果を利用していて、古典的なコンピュータより速いかをめぐって、激しい論争が巻き起こります。した歴史を知ることは、現在の量子コンピュータの到達点と課題を、理解する上で基本的な前提になると思います。以下セミナーの本論部分です。セミナー概要セミナーの主要な内容は、昨年(2017年)12月に行われたカンファレンス「ビシネスのための量子コンピューティング」で、物理学者Preskillが行った基調講演の紹介です。10:00受講申し込みはこちらかから。160人(予定)(申込先着順、定員になり次第申込の受付を終了します。マルレク2018-2019第一回では開催当日(5月22日)にお手伝いいただける方を若干名募集しています。ご応募ありがとうございました。現在の「人工知能」技術の中核は、ディープ・ラーニング技術です。ディープ・ラーニング技術は、2012年以来、爆発的に発展・普及し、大きな成果を上げてきました。現時点でのディープ・ラーニング技術の達成は、人間の「知能」の機械による代替に成功したというよりは、人間と動物に共通する「感覚=運動能力」の機械による代替に、大きな可能性を開いたということに他なりません。それには理由があると、僕は考えています。ディープラーニングがよって立つ立場は、人間の(それは、脳を持つ他の動物とも同じなのですが)認知・運動能力は、基本的には脳のニューロンの結合状態に還元できるというものです。この「コネクショニズム」という還元主義は、強力なものですが、動物と人間の違いを考えようとすると、あまり役には立ちません。人間固有の認知能力と言えば、言語的認識能力と数学的認識能力が双璧です。セミナーでは、この二つの能力に、ディープ・ラーニング以外の陣営から、どのようなアプローチが行われているか紹介したいと思います。セミナーでは、人工知能研究の歴史を振り返りながら、知能へのもう一方のアプローチ、「計算主義」(僕は、あまり、この名前気に入ってはいないのですが。いって、「シンボル主義」というのもどうかなという気がしています。)を取り上げられればと思っています。全領域をカバーするには、いささか足りないところがあるのではというものです。個人的には、いわば哲学的には、数学的認識のメカニズムに強い関心を持っています。Programを中心に紹介しようと思います。現代の知能への「計算主義」的アプローチの始祖は、いうまでもなくTuringです。セミナーでは、こうした系譜を受けつぎ、コンピュータによる数学の証明に取り組み、昨年、急逝したVoevodskyの仕事を紹介できればと思います。次回マルレク「量子コンピュータの現在」は、2月17日開催です。technology.。