ダウトゲーム． 前回大雑把な証明方針を固めたところだが，本日再度元となる命題を検証． よく見ると先手の場合だけ勝てる手筋があり，それを含めた形でカード枚数条件をはっきりさせた． で，結局の所旋回まで着目していた半不変量がよく働くことがわかった…

幅跳びの数理．ずっと斜方投射として幅跳びを扱う話をしてきたが，本日大きく次のすステップへ． 陸上をやっている当人の話を詳しく聞くと，どうやら剛体リンクモデルの登場ではなく，棒人間モデルで良いようだ． それは例えば体操の跳馬のような味方で良い…

ヘックス．今日は前回証明のあらましを考えた ヘックスの詰め． ところが経路が交差することを示そうとしたら，Jordan曲線の問題に突き当たる． もともと離散的なグラフの話だし，形は限定されているのだから初等的にできそうなのになかなか難しい． すっか…

人工知能．種々の統計的判別の方法について見てきてもらう事となって，ようやく写真アリになった． とっかかりとして，線形判別の話． どこに超平面を引くと尤もらしいか，を数学的に定式化するということだ． 終いの頃，学習データとして（input，output）…

ダウトゲーム． 前回，一般化できそうな最初の結果を得たので，それを徐々に展開する． 今度は相手手札で2番めに大きなカードと自分の手札との比較で必勝型を探る． うん，どうやら証明できたようだ． さて，では3番めに大きなカードとすると... これが形に…

超越数論． 前回リュービル数の定義とそのあたりにまつわる実数論の整理． 分類の切り口として無理数度を定義するが，多くのものは無理数度2らしい． いずれにせよそろそろきちんと連分数を持ち出さねばならないので後半はその話． 次回はの無理数度が2であ…

一人目，人工知能．例によって写真は無し． さて，今回も進展は無し．完全に方向性を見失った感じがある． いわゆる機械学習理論そのものに関する知識不足によるところが大きい． そこで研究室にある書物を手渡す． 教師なし学習の方法論を学ぶため，まずは…

ヘックスゲーム． 前回話題にした型での必勝法について． すぐに証明できるだろうと高をくくっていたら，意外にもの特殊性を使った頂点の番号付けが必要なことがわかった． 大筋での証明はできたのだけど，これをちゃんとLaTeXに落とし込めるだろうか． 簡単…

一人目，ダウトの数理．今日も必勝形が分かる場合探し． 現在考えているゲームではすべてのカードが場から消えないタイプで，こうなるとどうやら中々一般則が見つけにくいらしい． というのも場からカードが減るタイプなら少ない枚数にはなしを還元でき帰納…

一人目，幅跳びの数理． 跳躍角度と到達距離を見返していて，結局斜方投射の議論で良いのでは，と前回なって再度見直してきてもらう． 実際のその通りではあったものの，見てきた論文では跳躍中の空気抵抗を考慮していた． そしてその影響は到達距離には影響…

一人目，人工知能．こちらも２ヶ月ぶり．例によって写真は無し． 日経平均データの過去５日から未来５日予測を行ってきたが，誤差評価を最小にする解が結局過去を真似るだけになってしまう問題． よくよく考えれば前後のつながりを見ずにただ教師データとし…

ダウトの数理．こちらも２ヶ月ぶりぐらいだろうか． 必勝パターン探しの続き．しかしどうやら強制交代ルールでは行き詰まるようで，今回後半は通常通りダウト成功の場合は自分の手番が続くルールに変えた． ところが，それまでうまくいっていたGrundy数的な…

遺伝的アルゴリズム，というか蟻コロニーモデルの分析． 今回も最適解あたりでフェロモンが増加することを示そうとあれこれ試みる． 当人もあれからまたいろいろ考えたようで，不等式評価のためのアイディアを持ってきた． ただ，どう最適解を特徴付ければよ…

一人目，幅跳びの数理． 教採があったのでもう3ヶ月ぶりぐらいだろうか，再開． これまでのストーリーをもう一度整理して，ここしばらく関わってきた事柄は，重心低下による跳躍距離の伸長を扱ってきたこと，次に如何にしてその重心低下を引き起こす跳躍がで…

少し間が開いての再開． 蟻コロニーアルゴリズムが実際に最適解へ収束させられるかの議論続き． 複数蟻による探索は期待値として扱えると考えてよかろうけど，その先が結構進まない． アルゴリズムの意図は分かるのだけど，数学的に収束するかどうかは別問題…

ダウトゲームの数理． 必勝パターン探しにまじめに取り組むことになった２回目． どうやら相手に自分の最小カードより小さなカードが複数枚あり，また相手の最大カードより大きなカードがこちらに複数枚あると必勝法がみつけられそうだ，というところに来た…

ダウトゲームの数理． 前回から始まった必勝パターンの探求のつづき． １枚だけ相手カードの最大値より小さいというカード配置であるときの必勝法について分析した． ただ，こういった分析はひたすら日本語でダラダラ表現せねばならなくなり，余り好ましくな…

遺伝的アルゴリズム．だけど今は蟻コロニーアルゴリズム． 前回，最適解を見つける確率を記述してみたところまで来た． 今度はその確率が世代とともに増えていくか，つまり最適解にちゃんと収束するのかを追う仕事に入っている． とはいえ，まだ当分整理せね…

dl.sony.com ニューラルネットワーク． 本日写真無し．代わりにSonyのNewral networl console 上でのシミュレーション結果をいろいろと見せてもらった． 先週は多数の手書き「４」と「９」の判定をシミュレーションしてみたのだが，このときは２次元画像デー…

ダウトゲームの数理． 一週開いたこの日，ちょっとした補題を提示してきた． なるほど．必勝法があるならばまずそれが起こる場合を特定してしまえ，ということだ． そしてこの補題は他のパターンにも使えるのでなかなか良い． ということで，引き続き勝敗が…

遺伝的アルゴリズム．といいながら，マルチエージェントによる探索アルゴリズムに入っていた． 先回紹介されたアントコロニーモデルが最適解に収束するかどうかについての議論を進めることになった． アルゴリズムから最適解に至る確率の漸化式を導出して，…

遺伝的アルゴリズムとその周辺． 今回は群知能．さまざまなモデル化があるらしいが，その中から蟻コロニーをモデルにした最適化アルゴリズムについて． 蟻が餌探しに揮発性フェロモンを使うのをそのまま利用したモデルだ． 巡回セールスマン問題においては通…

ニューラルネットワーク． 畳み込みニューラルネットワークの意味について議論． 例えばそれが縦縞模様なのかそうでないかは，縦縞フィルターで畳み込むと特徴量が抽出できよう． で，それが縦横に限らずとにかく縞模様かどうか判断するとなると多層ニューロ…

ダウトゲームの数理． 差し当たりランダム選択片側ダウトモデルについては考察が整った． 徐々に本来のダウトに近づけるため，ゲームルールを変えていく． 例えば互いのカードが何であるか互いに知っているとしたら戦略は変わるだろうか？ と言った考察をし…

遺伝的アルゴリズム． しかし今回は遺伝交叉や突然変異の無いEstimation of Distribution Algorithm (EDA)について． 要するに次世代個体の残し方の違いなのだが，突然変異といったものが無い分，最適解に速く収束するようにも思えるし，一方で多様性が生み…

ダウトの数理． 先回から発想を変えて場合分けアプローチを諦めて，確率的な扱いに． ダウトゲームに向けた最も簡単と思われるモデルを考え，カード枚数の増減についての期待値計算によって最適戦略を考える． その結果として出すカードが全カードの数字の半…

久しぶりにニューラルネットワーク．というのも教育実習の研究授業が重なっていたからだった． 今回は逆伝播法の計算図の解釈のつづき． アフィンレイヤーを扱うには行列による微分などが必要になってくる．その際の計算方法で前回つまづいていたところだっ…

遺伝的アルゴリズム． 今回はNo Free Lunch Theoremについて，主張と証明． どんな問題に対しても効率が上がるアルゴリズムは存在しない，という定理だ． 「どんな問題に対しても」をどう数学的に表現するのかと思っていたが，あらゆる評価関数についての評…

ダウトゲームの数理． 当初は各状態に関する推移図を描いてマルコフ連鎖の話題に，と考えていたのだがまともに相手にするとなんとも収拾のつかない話になる． そこで方針を大きく変えて各場合を見るのではなく全ての場合を一度に考え，期待値で考察を進める…

遺伝的アルゴリズム． このところグレイコードについて議論しているが，今日で決着をつけたい． アルゴリズム的に理解しているものをきちんと数式で書き下す作業も卒論として，かつ数学するにも必要だ． そうしてよくよく見直したら前回の数式がアルゴリズム…