Rinta Yamada

限界CS大学院生（など）をしています

[Rinta Yamada @h14rin]

実現可能性とかを主にやっているM2です
ちょっと前に書いたもの: https://t.co/i0aGJEQncg

[Rinta Yamada @h14rin]

昨晩は気付かなかったけどconstructivenewsにIHOLの話が流れてきているな

[Rinta Yamada @h14rin]

@manatake26 予算内で検索したらナゴヤドーム前徒歩15分みたいなホテルしか見つからなかったので大人しく栄に取りました...

[Rinta Yamada @h14rin]

@有識者
名古屋大学近辺の安い宿（できれば連泊向き）を教えてください

[Rinta Yamada @h14rin]

@Alwe_Logic 率直な心情としてやはり受け入れがたい......

[Rinta Yamada @h14rin]

これって意味のある話なのだろうか
ある関数が計算可能であると言うためにはそれを計算するプログラムの存在を言わなければならず、存在を言うということはすなわちプログラムを得るということだから、結局のところ関数が計算可能であると分かった時には我々は具体的な計算方法を知っているはずだ

[Rinta Yamada @h14rin]

研究室キターン

[okkuu @okkuu_NMB]

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

[Rinta Yamada @h14rin]

型推栄ですわよ

[Rinta Yamada @h14rin]

お呼びの属性ではなさそうだが、しかしフィクション論の話は気になるので、どういうふうに使われるのかという話を含むのであれば行ってみたいな

[未満 @ltPhilosopher]

今年も論理学サマースクールあるよ～
（知人各位は拡散してください）
https://t.co/hNF7u0VqJR

[Rinta Yamada @h14rin]

あれ，おかしいなーと思っていたら既知の問題だったっぽい
ありがたい

orcidlinkがuplatexでリンク不全になる問題とその対処法 https://t.co/M9TllGm77s #Qiita @hari64boli64より

[雑魚PDマン @leanyaritai]

@各位

[Rinta Yamada @h14rin]

終わりとかそういう概念あったんだ

[東京大学出版会 @UT_Press]

／／／／
「基礎数学」シリーズが完結します
＼＼＼＼
シリーズ第1巻『線型代数入門』から60年。基礎数学シリーズ全15巻の完結作が今年9月に刊行予定です。

[Rinta Yamada @h14rin]

てか院試のホテルも取らないといけないんだよな
某大学大学院某研究科さん早く試験日時出して......

[Rinta Yamada @h14rin]

まだプログラムも出ていないイベントのためにとりあえず宿だけ取ったら請求が来てしまった　苦しい

[Rinta Yamada @h14rin]

しかし一方で実際工学の人たちの輪に入ると，自分がやっていることの迂遠や数学的動機の強さを認めざるを得ず，どちらにも着くことができないで中々苦しいものがある

[Rinta Yamada @h14rin]

最近はどうも数学業界の水が合わないと感じる機会が多々あり，やはり自分は工学側の人間だなぁという思いを強めている

[Rinta Yamada @h14rin]

最近はどうも数学業界の水が合わないと感じる機会が多々あり，やはり自分は工学側の人間だなぁという思いを強めている

[Rinta Yamada @h14rin]

情報密度的によい本ではあるが，教育的によい本かと言われれば僕は賛同しかねる

[Rinta Yamada @h14rin]

学部生に限った話でないが，新井基礎論を読むべき人は既にそれなりに基礎論へ親しみがある人だと思っているので，相当なレアケースであることは確かだろう