FANDOM


  • 巨大数勉強会を以下の要領で開催します。

    終了時刻は目安です。その後、二次会(めしにしましょう)を開催します。時間は18:00〜20:00頃、場所未定、予約なし、当日のノリです。

    参加しようかなという方は、このスレッドのコメントか、ツイッターへのコメントで、参加表明をお願いします。急遽参加できなくなったとしても、発表者でなければ特に問題は生じませんので、気軽にどうぞ。

    勉強会の内容

    (1) 再帰関数論入門

    (2) 巨大数の歴史

    (3) バシク行列

    詳細は、コメント参照

    発表者の方へ

    • 発表のタイトル、簡単な内容紹介、参考リンクなど、適宜ここにコメントで書き込んでください。
    • 使える器材は、黒板、液晶プロジェクタとPC、書画カメラです。
      • PCはインターネットに接続します。必要なファイルはUSBメモリで持参してもらうか、どこかネットでシェアしておくか、事前にふぃっしゅっしゅに送って下さい。
      • 書画カメラでは本や紙に書いたものをそのまま映写できます。紙やノートに書きながらの発表も可能です。

    参加するかもしれない人

    • ミカヅキモ, Koteitan, バシク, ふぃっしゅっしゅ
    • 小林銅蟲, 柴健, アリドンコトミ, st_red_strat, ぱなむー, おのりん, ゆきと, 気まぐれな灰色商人, 朧塚, ホホ, torii, むっつ, λx.x, 400011westo
      エディタを読み込んでいます
    • 『再帰関数論入門』で講演します。申し訳ないが直接巨大数の話でなく、根っこの部分をやります。目標は(多分間に合いませんが)次の3つ:

      1. 原始再帰関数、再帰関数(=帰納関数 =計算可能関数)の定義をきっちり理解し、具体例をたくさん紹介すること。

      2. 可能ならば、アッカーマン関数や急増加関数が再帰関数であることの証明を与えること。 (これは今のところ自分がちゃんと理解できていません…)

      3. クリーネの標準形定理について理解すること。 (これは証明が今のところクソ煩雑に見えるので、紹介だけで終わりそう…)

      参考文献: 再帰的関数論 - 照井一成, 【コンピュータと数学 - 高橋 正子 】←追加(とてもいい本!)

        エディタを読み込んでいます
    • 必要な知識は仮定しない…と言っても暗に仮定してしまう場合があるので、よくわかりません。出来る限り噛み砕いて説明しますので、じゃんじゃん質問して下さい。

      予習する余力のある方は(そんな方は稀だと思いますが)添付の「当たりまえ体操」を解いてもらうと良いと思います。
      Saiki atarimae

      再帰関数論 当たり前体操

        エディタを読み込んでいます
    • 裏目標は「サラダをなくそう」です。

        エディタを読み込んでいます
    • 参加します

        エディタを読み込んでいます
    • 発表者のkoteitan です。タイトルは「巨大数の歴史」です。私の作った "Googol Maps"  で巨大数開発の歴史の全貌を解説します。おまけコラム的な発表ですね。よろしくお願いします。

        エディタを読み込んでいます
    • 裏目標は「サラダをふやそう」です。

        エディタを読み込んでいます
    • 二次会は欠席します

        エディタを読み込んでいます
    • これまでの会をまとめます。

        エディタを読み込んでいます
    • 家の予定もあるので、前のコメントの通り、二次会は欠席します。 とても楽しい1日が送れました。 ありがとうございました。

        エディタを読み込んでいます
    • 久々に多くの人が集まりました。再帰関数と歴史の話だけでめいっぱいで、フリーの議論でいくら時間があっても足りない感じになったので、次回以降はメインの話題が1つあれば十分そうです。というわけで、適当にいくつか忘れないようにメモします。

      • λx.xさんの計算論の話はためになりそう。ローダー数がわかるか?
      • バシクさんの都合がつけば、バシク行列を極めたい。
      • 時間が余れば巨大数論に書いたフェファーマンとマドールの順序数崩壊関数について軽く話す?
      • 銅蟲さんに会いたかったとの声多数。ただ、銅蟲さんも売れっ子漫画家になったので予定を確実に立てるのは難しいかも?めしにしましょうの試作を兼ねた「料理中心の会」にする?
      • 次は、年末か年度末あたりでしょうかね?
        エディタを読み込んでいます
    • FANDOMユーザー
        エディタを読み込んでいます
このメッセージに「いいね」を付ける
このメッセージには既に「いいね」を付けています
誰がこのメッセージに「いいね」を付けたのかをみる。