過去・現在・未来

【 11/30 平原ゼミ第四回 講演ビデオ公開しました 】 11/30 平原ゼミ「Coq スタートアップセミナー 」第四回「VsCoqのセットアップ」講演ビデオ公開しました。ご利用ください。 https://youtu.be/jFmOMsGMUXc?list=PLTCzV3aLjJ1QyzxQPF5LPS2VERiiHTn4g 講演資料は、次のページからアクセスできます。 https://www.marulabo.net/docs/coq-startup4/ これまでの平原ゼミ「Coq スタートアップセミナー 」は、こちらからアクセスできます。 　● 第一回「Coq環境の紹介」 https://www.marulabo.net/docs/coq-startup/ 　● 第二回「CoqIDEのセットアップ」 https://www.marulabo.net/docs/coq-startup2/ 　● 第三回 「jsCoqのセットアップ」 https://www.marulabo.net/docs/coq-startup3/ 　● 第四回 「VsCoqのセットアップ」 https://www.marulabo.net/docs/coq-startup2/

【「エンタングルする自然」講演ビデオ公開 】 MaruLaboが行った有料セミナーの講演ビデオは、順次、全編無料公開することにしているのですが、3月の「エンタングルする自然」の講演ビデオは一部しか公開されておらず、4月の「エンタングルする認識」の講演ビデオは、公開されていませんでした。 12月に「エンタングルメント」についての基礎的なセミナーを予定しているのですが、その準備を始めようとして気づきました。 3月のセミナー「エンタングルする自然」の講演ビデオ、全編公開しました。 「エンタングルする自然 / エンタングルする認識   I 」のページ https://www.marulabo.net/docs/science-entanglement/ から、アクセスできます。ご利用ください。 12月の「エンタングルメント」セミナーの背景知識として役に立つと思います。 ここに収録されているのは、次の四本のビデオです。( Part I は公開済みでした ) 　● Part 1 　エンタングルメントの発見 — 「逆理」から「原理」へ https://youtu.be/YdL8ARu0W7k?list=PLQIrJ0f9gMcOzHD2qVN9n1xb6d-Eq-Ep5 　● Part II 　20世紀の自然科学 https://youtu.be/mPsOHYCqp_E?list=PLQIrJ0f9gMcOzHD2qVN9n1xb6d-Eq-Ep5 　● Part III　 量子論と相対論の「対応」の発見 https://youtu.be/9WiSZebzT98?list=PLQIrJ0f9gMcOzHD2qVN9n1xb6d-Eq-Ep5 　● Part IV　「時空」を生み出す「原理」としてのエンタングルメント https://youtu.be/tPOCywrULQ8?list=PLQIrJ0f9gMcOzHD2qVN9n1xb6d-Eq-Ep5 「エンタングルする認識」の講演ビデオも、タイミングをみて公開します。こちらの公開は、いま少しお待ちください。

【 11/26 マルゼミ・11/27 小又ゼミ、講演資料公開しました 】 11/26 マルゼミ「認識について考える 2 -- 認識の認識」の講演資料公開しました。 次のページの「講演資料　公開」からアクセスできます。ご利用ください。 https://www.marulabo.net/docs/philosophy02/ セミナーへのお申し込みは、次のページからお願いします。 https://philosophy02.peatix.com/ お申し込み、お待ちしています。

【 MaruLabo 「計算科学と複雑性」関連ページを作成しました】 マルレク、テーマが毎月いろいろ変わるので、全体として何を伝えたいのかわかりにくかったかもしれません。 マルレク＋MaruLaboは、「技術と科学の未来講座」を目指しています。未来の若者（基本的には「未来のIT技術者」を念頭に置いています）が学ぶことになるだろうと僕が考えていることを提示しています。 現在、そうしたイメージをわかりやすくするために、関連するトピックスをまとめたページを作成しています。 今回は、この間のMaruLabo での計算科学と複雑性に関連したトピックを取り上げたセミナーのまとめページ「計算科学と複雑性関連ページ」を作成しました。 　　 https://www.marulabo.net/marulabo-complex/ このトピック、ページが多いので「複雑性」と「開発方法論」と「チュートリアル」の三つに分けました。 これで、マルレク＋MaruLaboのポインター・ページは三つになりました。 　● 「エントロピー」関連ページ   https://www.marulabo.net/marulabo-entropy/ 　● 「エンタングルメント」関連ページ    https://www.marulabo.net/marulabo-entanglement/ 　● 「計算科学と複雑性」関連ページ   https://www.marulabo.net/marulabo-complex/ 丸山が、フォーカスしているテーマは主要にこの三つですので、ポインター・ページの作成は、当面、これで終わりです。 このポインター・ページがポイントしているページのコンテンツを、より利用しやすいものにする作業を、現在、進めています。（ごめんなさい。まだ手が回っていません） マルレク＋MaruLaboのページを、いつでも、またどのページのどの部分からでも「読める資料」として整備していきたいと思っています。基本的には、ネットのコンテンツで、自分のペースで自分で学ぶという学習スタイルを想定しています。

昨日Springerで買ったのは「形式手法 -- 次の30年 ( Formal Methods – The Next 30 Years) 」という今年10月に行われた国際学会の論文集だった。 冒頭の招待講演の内容にすこしゲンナリする。 形式手法は安全性を「証明」するだけでなく、安全性を改善するためにも用いなければならないという。まあ、それはいいのだが、学部の一年生から正規表現と有限状態マシンのことをきちんと教えるのがいいという話で話を締めくくっている。 「そこじゃないだろう。エライ人かもしれないが、話はピンボケ。」 生意気な自分の院生時代のことを思い出した。ピンボケと言われるのは、今度は自分の番なのに。 気を取り直して、次の論文「形式手法における人間」を読む。 この論文の主要な関心は、どうやったら仕様を書くことを人に教えられるのかということ。教育の問題に対する目配りは、広い。また、どうしたらそうした層を、子供からリタイアした人にまで、広げられるのかという「形式手法の民主化」という問題意識はいいなと思う。 次の論文は、形式手法で検証済みのマイクロカーネル seL4 を作ったアンドロニックのもの。彼は形式手法の受容の基本的問題を「アカデミックな研究」と「IT業界の実践」のギャップと捉えている。そうした分裂を克服した "One Team"の必要について、seL4開発の経験を交えて語る。それは、突き詰めれば「社会的要因」の問題だとする。 ここまでは良かった。 ただ、この二つの論文以降は、ずーっと、技術的な論文が並ぶ。どこにも「形式手法 -- 次の30年」の話はない。 だまされたみたい。 冷静に考えれば、若手だろうがベテランだろうが、「形式手法 -- 次の30年」なんてテーマの論文を「学会誌」に投稿しても、絶対、受理されるされるわけないんだから。「学会」の「表現」は「不自由」なものだ。 それに、「次の30年」って、長すぎると今気がついた。 僕だって、30年後のITを語ることはない。それは30年後の社会や、100年後の地球環境を語るより多分難しい。僕の視界は、長くて 10年か20年（適当に言っている）。 タイトルに、釣られたんだと悟る。 二つの論文のために、一万数千円はらったことになる。まだ、24時間経っていないので、クーリング・オフできないかな。 ====

明日、あるところで頼まれて大学問題で講演する。大学について考えたり語るのは久しぶりだ。いただいたお題は「クラウドサービスを積極活用した大学の未来像」というIT寄りのものだったのだが。 講演の準備で、この間、HarvardやStanfordやMIT等の大学サイトを調べていた。 日本と比較して、いろいろと考えさせられることがあった。特に、大学の情報発信の多様さと豊かさ、それを維持する情熱とそれを自発的に支える人の広がりに、息を呑んだ。これらの大学は、優れたコンテンツを持った、巨大なネットワーク・メディアを形成しているのだ。 大学の規模の問題ではない。多分、これらの大学より規模の大きな大学は、日本にはたくさんある。また、おそらく「広報予算」の大小の問題でもない。「広報・宣伝」の組み立て方が、全然違うのだと思う。 今日はちょっと忙しく、詳しいは展開できないので、すこし抽象的になるのだが、要点だけ、まとめてみようと思う。 キーワードは二つある。「コミュニティとしての大学」「メディアとしての大学」である。（「同窓会があります」とか「大学の広報・宣伝に、沢山お金をかけています」というのを念頭において読んでもらうといいのかも。） （当たり前と思うかもしれないが、大学コミュニティの中にも社会は入り込んでいる。学生は、一時的に大学を通過するだけかもしれない。放っておけば、大学コミュニティのまとまる力は存外弱いのだ。） ・社会の中に、大学という「コミュニティ」がある。 ・社会の中でのこのコミュニティの中心的ミッションは、「教育と研究」であり、その主人公は学生である。 ・大学コミュニティへの帰属意識は、「我々は、こういうコミュニティなのだ」という自発的なものである。 ・それを維持する上で、大学からの「情報発信」は、不可欠な役割を果たす。 ・大学は、社会の中で、メディアになり、コンテンツ・ホルダーになる。 ・その不断の情報発信を支えているのは、コミュニティのメンバーの自発性である。 ・メディアとしての大学にとって、大学の内外の区別は、大きな意味を持たない。むしろ、誰もがアクセスできるのは、大きな武器になる。 ・こうした大学のあり方を、Social化・Global化したネットと、IT技術が可能としている。 ================= 2014年11月20日  FBへの投稿

 【 JaynesのMAXENT -- Gibbsの論理の不思議なパワー 】 11/26 マルゼミ「認識について2 -- 認識の認識 –」の第二部「認識の発展のモデル」の動画と資料です。ご利用ください。 https://youtu.be/IGiPmn8c5IQ?list=PLQIrJ0f9gMcPmqWCIYjND28DLB9SwQ_eX 動画のスライドは、 https://drive.google.com/file/d/1_nTAnVhWXotbHA_6CEK40YKgGk189OWb/view?usp=sharing からアクセスできます。 本投稿のもっと詳しい情報は、こちらからアクセス出来ます。 https://www.marulabo.net/docs/philosophy02/ 現代のBayesian理論の最大の貢献者は、 E.T.Jaynes です。相対エントロピー の重要性を最初に指摘したのも彼です。 このセクションでは、Jaynes  の 「MAXENT ＝ 最大エントロピー原理」を紹介します。 それは、統計理論の枠を超えて、科学の方法論、さらには、認識の理論としも、大きな影響力を持っています。 ここでは、JaynesのMAXENTのアイデアの出発点となった、Gibbsの方法とその不思議なパワーについて述べてみようと思います。 Gibbsの方法は、不思議なパワーを持っています。 たとえば、ある系のエネルギーについて考えてみましょう。 我々は、ある系がどのようなエネルギーをもつかを、観測によって知ることができます。 しかし、それだけでは、明らかに情報が不足していて、その系がどのようなエネルギー分布に従っているかを知ることは出来ません。観測された平均的なエネルギーだけから、系のエネルギー分布を知ることは不可能です。 ところがGibbsは、この不可能を可能にしました！ 我々が知っていることは、系の平均的エネルギーが E であるということだけです。系の確率分布をp_iとすると、この条件は式で表すことができます。 もう一つ、我々が知っていることがあります。それは、p_i の和が 1になることです。 ただ、あきらかに、情報が不足していて、この二つの式だけから p_iを求めることは不可能です。 Gibbsは、欠けている情報を、利用できる他の情報で補おうとします。