超越数論，ヘックスの数理，遺伝的アルゴリズム（４年ゼミ）

一人目，超越数論．
もうなにか新しいことはしないのかなぁと言う方向で，リンデマンの応用をいくつか確認．
で，議論しているうちにまだ素朴なタイプの超越数判定ができない状態であることが発覚．
例えばは超越数であることはリンデマンでは出てこない．
さて，どうするかね．

無理数と超越数

二人目，ヘックスの数理．
不動点定理の組み合わせ的証明について．
その昔，組み合わせ的に証明できないかなぁとトライしたことがあったが至れなかった．
何にしてもこちらについても大体型がついてきたかね．

ヘックス入門―天才ナッシュが考えた数学的ボードゲーム

組合せゲーム理論入門 ?勝利の方程式?

三人目，蟻コロニーモデル．
独自証明を目指しての試みが続く．
こういった泥臭い評価の議論の末にたどり着くものなのだけど，間に合うかな．
いずれにしても年明けへ．

遺伝アルゴリズムとニューラルネット―スケジューリングと組合せ最適化

進化論的計算手法 (知の科学)