study

データマイニングの授業でやっていた局所探索の話とかニューラルネットワークの話がしっくり来なかったので後で調べるために適当に張っておく。授業で資料示すなりしてくれると助かるのだが・・・

• 局所探索法 - Wikipedia
• 山登り法 - Wikipedia
• 焼きなまし法 - Wikipedia
• ニューラルネット入門

一番下のを読んだら大体今日行っていた話は分かった気がする。

興味がわいたらもう少し調べる。興味があるとしたらパターン認識とかかな。

また、記録を書くまでに時間が掛かってしまった・・・

今週（っていうか、先週12日）は第三章「図と地」を読みました。satou30とmiyaga50がいなかったので静かだった。

キーワード。

• 「無伴奏ヴァイオリンのためのソナタ」
• ADACが入る英単語って何かある？→わかんねえ
• じゃあ、Hが頭とおしりに入る英単語は？→Headachとかは？
• tqシステム
  • xが‐であれば、xt-qxが公理
  • xty-qzxは新しい定理
    • –t-q–
    • –t–q—-
    • –t—q——
  • x-ty-qzが定理ならば、Czも定理である。zは合成数になる。
  • Cxが定理でなければ、Pxは定理になる？？素数は、合成数以外の自然数だが・・・
    • Cxが定理でないかどうか調べることができるか？
• 図と地。
  • 二重に再帰的な図
  • 認識可能な形であって、その消極的な部分は認識可能でないものが存在する。
  • 筆記的に書ける図であって再帰的でないものが存在する。
    • ↑これが普通(？)
• 再帰的に加算な集合と再帰的集合
  • 形式システムの中には、その消極的な部分がいかなる形式システムの積極的な部分になり得ないものが存在する
  • 再帰的に加算であるが再帰的でない集合が存在する
  • 形式システムの中には、字形的な決定手続きが存在しないものがある
• 素数を形式的に表す
  • 単調生がキー

今度から終わったらその日のうちに記録するように心がけよう。

そう言えば、前回出てきたアキレスと亀のゼノンのパラドクスについて書いてる人がいたので紹介

◆到達しえぬ（不完全な）愛、あるいは、永遠に先延ばしされた（不朽の＝完全な）愛について。 - In its right place
また、あした。
◆6sese.hiki - 『ゲーデル,エッシャー,バッハ―(ry』読書会

ゲーデル,エッシャー,バッハ―あるいは不思議の環 ダグラス・R・ホフスタッター 野崎 昭弘 はやし はじめ 白揚社 1985-05 売り上げランキング : 156895 おすすめ平均 Amazonで詳しく見る by G-Tools

毎週火曜日はGEB読書会。

今週は二章を読みました。

キーワードを。

• 仮名的命題
• pqシステム
  • –p-q—
    • 2+1=3
  • 同型対応
    • 意味を想像する
    • 対応付け=解釈
  • 解釈はいくらでもある。意味は一つ。
  • 二価性
    • 意味が二つある場合も
• 数学と記号
• 無限の回避
  • for all とか？
• 数学と形式システムの違い=現実から出発しているか？

なんか、自分の中でもまとまっていないなあ。。。

もう少しまとまったら整理し直すかも、ないかも。

◆6sese.hiki - 『ゲーデル,エッシャー,バッハ―(ry』読書会

ゲーデル,エッシャー,バッハ―あるいは不思議の環 ダグラス・R・ホフスタッター 野崎 昭弘 はやし はじめ 白揚社 1985-05 売り上げランキング : 156895 おすすめ平均 Amazonで詳しく見る by G-Tools

さてさて三学期になってしまいましたが一応こんな感じでとろうと考えています。

• 金融デリバティブ
• 意思決定理論
• データマイニング工学

と言うことで、全部とったら月曜が1-6限とか、どこの大学一年生だよ！！って時間割になっています。

金融デリバティブは、最初に岸本先生のいつもの確認テストをやったのですが線形代数も微積分もわかりませんでした・・・もう忘れてるよ・・・何か、一番切りそうな授業はこれですね・・・

意思決定理論は期待効用理論をベースにリスク許容度を変化させたりしながら意思決定の分析を行うって感じの話ですかね？このあたりの話は好きなんですが実はかなり難しい話だったり・・・後、ゼミ形式でやるとか行っていたのでちょっと大変そう。

データマイニング工学は、殆どネット見てたんで話聞いてなかったんですけど、べき乗とかスケールフリーとか複雑系とか話していました。いかんせんここら辺の話が自分は好きか嫌いか分からないなあ。。

ってこんなかんじです。

そのうち二学期授業まとめエントリーを書くかな。

今回は第一章を読んだ。

キーワード

• ゼノン「運動は本来的に不可能」
  • 運動は非在
• 形式システム
• MUパズル
  • MIUシステム
• 定理
  • 形式システムにおける定理とはそこに出てくる文字列でもある
  • 公理：無償の定理
• 人間と機械
  • 人間はパタンを探し出せる
  • 人間はシステムから出られる
    • システムの中で動く
    • システムから出て観察を行う

• 非定理とはは何か？
  • 非定理を検出するには？
    • 有限時間で終わるか？
  • 決定手続きが求められる

定理と非定理を判別する決定手続きが存在するかしないか。

終わった後は、百香亭でだらだらだご飯を食べた。

◆6sese.hiki - 『ゲーデル,エッシャー,バッハ―(ry』読書会

ゲーデル,エッシャー,バッハ―あるいは不思議の環 ダグラス・R・ホフスタッター 野崎 昭弘 はやし はじめ 白揚社 1985-05 売り上げランキング : 156895 おすすめ平均 Amazonで詳しく見る by G-Tools