プログラマのための数学勉強会@福岡#2まとめ

yukiusagi2052 @yukiusagi2052

スケジュールが立て込んできて、 週末の勉強会はやむなくキャンセルで、残念。 #maths4pg_fuk

カエル @Strawberry_kyon

プログラマのための数学勉強会楽しみすぎる。 #maths4pg_fuk

nakaly @nakaly

プログラマのための数学勉強会 第2回 19時からです！ maths4pg-fuk.connpass.com/event/20293/ #maths4pg_fuk

nakaly @nakaly

今回も正面の入り口は閉まっておりますので、横の鉄の扉からお願いします！ #maths4pg_fuk twitter.com/youhei/status/…

youhei @youhei

遅れそうな方いましたら正面入り口の横に鉄の扉があります。こちらからお入りください。ご参加の方 RT してもらえると助かります。 #maths4pg_fuk pic.twitter.com/lEtd3MPe39

2015-09-04 19:03:44

JuJu @juju_suu

思ったより参加者多い #maths4pg_fuk

しょーやん @sinn_shoyan

会場に到着しました。#maths4pg_fuk

Tomokazu Fujino @nonki1974

参加中。少ししゃべります。30分も持たないかもしれないですが。 #maths4pg_fuk

youhei @youhei

はじまた。「無限と計算可能性と対角線論法」 @nakaly #maths4pg_fuk

じゅりっぺ @ringojuringo

今会社終わりました〜！ 遅れます・・・どきどき #maths4pg_fuk

じゅりっぺ @ringojuringo

人前で話すこと自体苦手ですが、頑張ります＼(^o^)／ #maths4pg_fuk

🎈Balloonbros @balloonbros

プログラマのための数学勉強会@福岡 #2 はじまりました。 maths4pg-fuk.connpass.com/event/20293/ #maths4pg_fuk pic.twitter.com/HWXuUNDS7c

拡大

🎈Balloonbros @balloonbros

まずは @nakaly さんによる「無限と計算可能性と対角線論法」の発表です。#maths4pg_fuk pic.twitter.com/OdJRGktG4T

拡大

tksy(吉村 武志) @takesi_yosimura

プログラマのための数学勉強会@福岡 #2 maths4pg-fuk.connpass.com/event/20293/ #maths4pg_fuk ちょっと遅刻しましたが参加してます

tksy(吉村 武志) @takesi_yosimura

対角線論法・・・ #maths4pg_fuk

🎈Balloonbros @balloonbros

（tkengoは諸事情によりお休みです）

youhei @youhei

「はじめまして数学」読んでおいたおかげか今回のは内容つかみやすい #maths4pg_fuk

tksy(吉村 武志) @takesi_yosimura

有限小数は自然数と１対１の対応を持つ（可算である） さらに、有理数も可算である。 フツーの直感と反するかもだけれど、直感的に分かるな。 #maths4pg_fuk

tksy(吉村 武志) @takesi_yosimura

で、実数は非可算。 背理法で証明してるっぽい #maths4pg_fuk

🎈Balloonbros @balloonbros

tkengoの絡んでいるBalloonbrosということで情報を発信しております〜

tksy(吉村 武志) @takesi_yosimura

停止性問題が計算不可能であることの証明。 #maths4pg_fuk

さのたけと @taketo1024

実数の非可算性について話してる模様（エア参加 #maths4pg_fuk

tksy(吉村 武志) @takesi_yosimura

・コンピュータで解けない問題がある！！ ・無限にも濃度がある ・対角線論法は便利 #maths4pg_fuk

tksy(吉村 武志) @takesi_yosimura

次〜 「Shinyで中心極限定理」 #maths4pg_fuk