TECH-NAVY

学生エンジニア Lifehack !!!

Python で問題を解き、進化の方程式を知る

calendar

reload

Python で問題を解き、進化の方程式を知る

スポンサーリンク

タイトルは釣りです

僕にそんな力はありません。
でもある意味本当です。いつもどおりこただの日記なんですが。

情報科学的な授業

水曜日の朝はオムニバス講義なんで毎回先生が変わるんですが、だいたいは情報科学よりの内容で、中でも今日の先生は python で問題を解こう、みたいな感じの話をされていて、とても興味深かったです。数学の問題で制約条件を渡したら、条件を満たす範囲を作図できたりするじゃないですか。ああいうのを python で自動でやってしまおう、って感じです。
たとえば、

とかを与えると、ほんとに解を見つけてもってきてくれます。可愛いやつですね。
ただしライブラリを使わないといけなくて、それの中身が多分CとかC++で動いてて、ビルドがめんどくさかったりします。 python はただのインターフェースですね。
以下のリンクから Github にとべます。
https://github.com/Z3Prover/z3
ビルドがすこし面倒ですが、入れれば割と遊べるのでおすすめです。
anaconda3-5.0.1, anaconda3-4.3.1で動作確認済みです。pyenvなどで環境を作っておくことをお勧めします。
一応下に手順も書いておきますね。

使い方なども今度書くかもしれません。

進化の方程式(意外と単純)

夜は進化のシミュレーション(やTwitter)で有名な先生の授業でした。ちょっと怖いけどかっこいい先生です。
進化理論についての授業で、僕にとってはかなりどストライクというか、毎回興味を持って聞かせていただいています。
で、今日僕の中で面白かったのは、進化を定式化する、って部分でした。紹介されていた式自体がそんなに難しいものではなかったので、難しい数式に追いつけない僕の頭にはひときわ面白く見えたのかもしれません(血涙)
進化の方程式、ここでは「その種が淘汰圧(競争の結果個体が犠牲になる、といったような環境の圧力)を経ても生き残ることができるか、個体数を維持できるか」といったことに答えをだすものですが、これは

と表現できます。ESSは進化的に安定な戦略(Evolutionary stable strategy)の略で、これをとっている種はその環境の中で生き残っていけますよねーと言った感じです。
今日はさらにこの式に揺らぎが加わったり、生存戦略を変化させ続ける種のモデルについてなど、幅広く教えたいただいたのですが、お時間がきてしまいましたのでこの辺で。
進化の方程式、Pythonで計算できそうですね。

せっかくなので競争に参加することにしました!以下のリンク先で投票できますので、是非是非よろしくお願いしますm(_ _)m
UT-RANK

この記事をシェアする

コメント

コメントはありません。

down コメントを残す




関連記事

Hello world!
視覚複合型暗号で技術記事を書きたかった話
Mercari BOLD INTERNSHIP 2017 in USA に参加します
レディ・プレイヤー1を観て来た! 〜ゲームの話〜
R – Rstudioで対話的実行環境を構築し、ついでにワンクリックでレポートを生成する
たまってしまったストレスを1日で解決する

自己紹介

Matts966

東京大学の二年生。情報科学、認知科学を専攻しています。最近は圏論ができません。よろしくお願いします。 [詳細]

folder Gadgets

エンジニアは持つべきかも。モバイルWIFIを購入してからのQOLについて
more...

folder Life

レディ・プレイヤー1を観て来た! 〜ゲームの話〜
Go 言語でブログを書き直している話
親に学費を納入した話  〜お金の使い方を考える〜
more...

folder Tips

視覚複合型暗号で技術記事を書きたかった話
独自ドメインつけました! 〜ブログ更新日報その1〜
僕がブログを書き始めて感じた7つの効用
more...