報告レポートこんにちは。マスログライターのキグロです。2016に参加してきたので、一体どんなお祭りだったのか、ここにご報告したいと思います。イベントが行われたのは、六本木ニコファーレ。イベントの様子はほぼ全編ニコニコ動画で生放送され、会場の壁にはリアルタイムでコメントが流れました。今回は特別仕様として、ニコニコのコメントでTeXの入力が可能になっていました。ところでこのお祭り、4日と5日に開催されたのではありません。4日正午から5日23時まで、35時間ぶっ続けで開催されました。私は始めの数時間をニコニコ動画で視聴し、4日の18時頃から最後まで(29時間!)会場にいました。2016は、「もっと社会に数学を」をキャッチコピーに、コアな数学ファンが楽しめるガチな企画から、そこまで数学に詳しくない人も楽しめるお気楽な企画まで、実に多種多様な企画が用意されていました。そんなイベントの総合MCを務めたのは、現役の高校教師をやりながらお笑い芸人もしているタカタ先生。35時間の最初から最後まで、ハイテンションでMCを務めておられました。私立高校の数学教師として生徒を指導(教員歴8年)。よしもとクリエイティブ・エージェンシー所属のピン芸人として数学ネタを中心に活躍中(芸人歴9年)。全国で開催している数学イベント「お笑い数学教室」では、笑えてタメになる数学ネタや授業で、学生のみならず大人から子供まで幅広い層に数学の楽しさを広める活動を行っている。イベントや番組での進行役に定評があり、「ロマンティック数学ナイト」「ダイナマイト関西2016プレ予選」「(ニコ生)R藤本の水曜はじけてまざれ!越」などで進行役をつとめる。ラマヌジャンだらけの企画からオープニングが終わり、まず始まった企画が「32時間耐久計算」です。100年前の数学者ラマヌジャンが発見した数式を使い、円周率を32時間かけてひたすら計算します。目標は小数点以下100桁!目標100桁を宣言するリーダーの内田さんしかも、ラマヌジャンの時代にあわせて、使っていいのは模造紙と鉛筆、そしてそろばんと手回し計算機のみ。コンピュータの類は一切使えません。東京大学の珠算研究会の学生たちが、245桁も計算できる巨大なそろばんを使って、この無謀な計算に挑みます。ちなみにこのそろばん、1挺37万円(!)もするそうです。今回使用した245桁のそろばんちなみにニコニコ生放送では、「別アングル画面」を表示することで32時間ずっと計算部屋の様子を視聴(監視?)することができました。続いての企画は、「奇蹟がくれた数式」の数学的予習。MathPower2016の目玉企画の一つが、映画『奇蹟がくれた数式』の試写。これは先述の数学者シュリニヴァーサ・ラマヌジャン(1887-1920)の伝記映画なのですが、その映画の字幕監修を行った東大数学科修士の森脇湧登(もりわきゆうと)さんが、作中に登場する数式や概念を丁寧に解説しました。2枚のホワイトボードを使って解説する森脇さん『奇蹟がくれた数式』はラマヌジャンのすべての功績を取り上げるわけではなく、「分割数」と呼ばれる問題を中心に、ラマヌジャンの活躍を描きます。森脇さんは、分割数とは何かという説明から始め、ラマヌジャンが発見した公式と、それをどのように証明したのかについて、段階を踏んで丁寧に説明していきました。話好きの森脇さんは、説明の途中でよく脱線をしてしまいました。その余談もまた数学的に高度な内容で、「これで余談だと......!?」と会場やニコ生のコメントが盛り上がっていました。執行役員CTOの伊藤直也さんによる、プログラミングと数学の関係性のお話です。「単にプログラミングをやるだけでは、あまり数学を使うことはありません」と伊藤さん。数学とプログラミングには、意外な共通点があると語ります。数学とプログラミングについて語る伊藤さん伊藤さんはリコメンド(「Aを買った人はBも買っています」)や検索エンジンを例に、ベクトルや行列がプログラミングにどう使われるかを説明しました。ベクトルは「複数の数を同時に扱う量」、行列は複数のベクトルを並べたものです。これらは、プログラミングにおける「配列」と同じだと、伊藤さんは説明しました。文章には複数の単語が登場するわけですが、これらの単語を数で表現すれば、文章をベクトルで表現することが可能なのだそうです。すると、ベクトルや行列を扱う数学的な手法を使って、文章を数学的に扱うことができるようになるそうです。ここに、プログラミングと数学の意外な共通点があると、伊藤さんは語ります。プログラミングでは、対象をデータ構造に押し込められれば、その対象を扱えるようになります。数学でも、対象を行列やベクトルなどにモデル化できれば、その対象を数学的に扱えるようになります。数学とプログラミングは、このように似た考え方をしている面があるのだそうです。伊藤さんの解説はベクトルと自然言語処理に注目して行われ、ニコニコ生放送では「ベクトルはこうやって使われているのかー」と感心するコメントが流れていました。Inc.、ハウテレビジョン技術顧問。4つ目の企画は、漫画家の江川達也さんと株式会社ドワンゴの代表取締役会長の川上量生さんによる対談「『本当に人生に役立つ学問は、数学だけである。登場する数学教師の言葉です。江川さんは対談の中で、「数学の先生が言っていることは納得できたが、ほかの先生が言っていることは納得できないことが多かった」と言い放ちました。川上会長(左)と江川さん(右)実は江川さんは、自身の漫画も数学を使って書いているそう。前半はそのルール通りに描くことで大ヒットを記録し、後半は敢えてルールを破るという「実験」をし、人気が下がることを「確かめた」とのことです。そんなことを、と思うかもしれません。江川さんは「売れる法則に則って描くだけでは面白くない」と考えているそうです。これを聞いた川上会長も、「成功することがわかっていることはやりたくない」と共感しました。「わかりきった努力はしたくない」とのことでした。常勤教諭となり数学科講師をするも5ヶ月で退職。FREE!』第1話が載って書店に並ぶ。漫画界に衝撃を与え大ヒット。BOY』などの青年誌向けのストーリー漫画まで幅広い分野で執筆し、作品がアニメ化されるなど、立て続けにヒット作を生み出す。漫画以外にもタレントとしてテレビ出演、ヌード画集執筆など幅広く活動中。5つ目の企画は、Math.pow()~6名のプログラマが語る「数学の力」。プログラムと数学の企画です。2015年~2016年に、都内で「プログラマのための数学勉強会」というイベントが行われていました。その主催者である佐野岳人さんと他5名のプログラマたちが、次々とライトニングトークを行いました(残念ながら、当日は主催の佐野さんが体調不良で欠席してしまいました)。ライトニングトークとは、5分や10分などの短い時間でのプレゼンのこと。この企画では、1人10~15分で数学とプログラミングに関する発表を行いました。数学を使ってグラフィックを描く発表や音楽を作る発表などのほか、プログラミングに使えるガチな数学の解説、さらには生命現象を数学で再現するプログラミングの紹介などが行われました。登壇者の永松歩さんが作った数学アート生物の模様が生成される過程をプログラムで再現した堀川隆弘さん再びラマヌジャン!6つ目は、目玉企画の一つ。映画『奇蹟がくれた数式』の試写会です。......が、実はこれは会場に来た方限定の企画で、ニコ生で見ていた方には別企画「ラマヌジャンの発見した公式の証明」が始まりました。証明する公式は、32時間耐久計算で使われている円周率を求める公式。株式会社すうがくぶんかの瀬下さんと梅崎さんが、証明に取り掛かりました。ラマヌジャンが発見した公式と梅崎さん梅崎さんはニコニコ生放送の反応を見ながら証明を進めていきます。あとは計算を進めれば証明が完了するというところで......「終了~~~!」(タカタ先生)なんと、証明未完で時間切れになってしまいました。あとは計算するだけだったのですが、梅崎さん曰く、「あと10分くらい」かかるということで、強制終了となってしまいました。