まなたけ

名大修士卒、名古屋で働いてる、数学(数理論理学)、ボードゲーム、写真撮影(Zfc)

[まなたけ @manatake26]

下呂温泉に行ってきました

[みさ @MSKcenvillage]

毎週末大学生みたいな飲み会やってるの怖い

[まなたけ @manatake26]

@h14rin 名城線沿いか東山線沿いっていうふんわりとした答えしか持ってないです……

[まるぃも @marulimo]

なんだこのゲーム楽しい！！！！

[なおき @Naoki_Donder]

数学科あるあるに「解の存在を示して満足」というのがあると思う。
これは、大学数学だと「◯◯は存在するか？」という問題がよくあり、大体クソ難しい。
だから存在を示して満足するのは、それが当初のゴールだったからである。
ひとたび存在が確認されたら、次は具体的に与えよう！って研究が

[まなたけ @manatake26]

マジで分かるなぁ

[Em @Euphoniumath]

「数学科ならお釣りの計算とか得意なの？」と聞かれて「得意ではないので、自動レジなら持っている小銭を全部ぶち込む」と答えた

というエピソードを彼に話したら、「具体的な計算をせずに財布の中身を最適化する方法という点で、それはむしろ数学科的なのでは」と言われた

[okkuu @okkuu_NMB]

この話、とても好きで
「計算可能関数」というのは、(ある意味名前に反して)「プログラムが存在する…どこにあるかは分からなくても良いから、とにかくどこかに存在する」という定義であって、
そのプログラムを今ここで人類が書ける事までは要求していない

[まなたけ @manatake26]

@unidakko ウーブン以外にも色々あるらしいよね

[まなたけ @manatake26]

毎週思うけど俺はもう昔みたいに酒を飲めない

[まなたけ @manatake26]

@J223620flozen ありそう

[まなたけ @manatake26]

バズれや

[まなたけ @manatake26]

@rinnryann200101 大変やねえ、、お疲れ様やで

[ふー@21卒 @t_sm_act]

CAでもキチゲ解放することあるんだな
#mond_t_sm_act

[まなたけ @manatake26]

肺ギュンギュンギュン
吸いすぎて滅

[SSRS @SSRS_cp]

線形写像 X↦AX+XB の固有値が A の固有値と B の固有値の和になるやつ全然知られてない気がする

[まなたけ @manatake26]

二日酔いではないけど胃でレモンサワー暴れてるのやめてほしい

[まなたけ @manatake26]

いーあるふぁんくらぶ活動報告書

[まなたけ @manatake26]

いーあるふぁんくらぶ部長