ふくだ (@yf0fyf)

投稿一覧(最新100件)

RT @georg_logic: ちなみに,こうした竹内の書いたものについては八杉先生の「『科学基礎論研究』に見られる「形式主義観」」(『科学基礎論研究』,2016年,https://t.co/wgcLhTXQrk)も参考になりました.
RT @georg_logic: 竹内は色々書いているんだけど,初期のこれは印象に残る.「決して,文字通りの意味の`無矛盾性'を 問題にしている訳ではない.`集合概念'の解明こそ形式主義の総てであると私は思う」(「形式主義の立場から I」,『化学基礎論研究』,1956年.htt…
RT @sinya8282: 『(情報系)博士課程進学とその先 』 https://t.co/8ZvVtcTexR
RT @georg_logic: 不完全性定理が数学基礎論の各プログラムに与えた影響について,手短にかつ精緻に論じた論文.飯田隆,「不完全性定理はなぜ意外だったのか」(『科学基礎論研究』)https://t.co/M6DkxiiyXo
佐藤先生の方はネットで読めるっぽい https://t.co/b31zo3RTDp
ところで前に菊池先生に教えてもらったんですが,前原先生の『第2不完全性定理の内容的解釈』( https://t.co/4Doh8SI6jy )は面白いのでオススメ
RT @georg_logic: @yf0fyf ヒルベルト学派との交流は知られていて,岡田先生の論文があります.https://t.co/oTeculLTjV
RT @__tai2__: 法令は形式言語で記述して欲しいみたいな放談をslackでしてたら、法令工学って名前で実際に研究されてると教えてもらった。ほほー。 https://t.co/y0Hdg5Fdnz https://t.co/BXQx89oTIU

お気に入り一覧(最新100件)

でもこういう日本語論文にも言及してるのはすごいな https://t.co/uXX0vsV0XU
ちなみに,こうした竹内の書いたものについては八杉先生の「『科学基礎論研究』に見られる「形式主義観」」(『科学基礎論研究』,2016年,https://t.co/wgcLhTXQrk)も参考になりました.
竹内は色々書いているんだけど,初期のこれは印象に残る.「決して,文字通りの意味の`無矛盾性'を 問題にしている訳ではない.`集合概念'の解明こそ形式主義の総てであると私は思う」(「形式主義の立場から I」,『化学基礎論研究』,1956年.https://t.co/6Ard58fOxW)
やっぱり面白い。 CiNii 論文 -  Frege的論理と非Frege的論理 https://t.co/hjGqMeGgwf #CiNii
@ytb_at_twt 予稿集はこちら(→)です。 https://t.co/8svKjTs1TY

2 0 0 0 OA 言語とω言語

高橋正子先生の解説だ.Variety とか star-free の話もしてる. 「言語とω言語」 https://t.co/NJx6S07HIS

フォロー(243ユーザ)の投稿一覧(直近7日間)

RT @ShigeruTaguchi: 西郷甲矢人さんとの共著『〈現実〉とは何か』(筑摩選書)の北島雄一郎さんによる書評が『科学哲学』に出ました。 https://t.co/LkthalXbE4 初めての本格的な書評であり、本書の議論を深く捉えてさらに敷衍するような素晴らしい叙…

134 29 29 0 OA LR構文解析の原理

RT @blackenedgold: 大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk

134 29 29 0 OA LR構文解析の原理

RT @blackenedgold: 大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk

134 29 29 0 OA LR構文解析の原理

RT @blackenedgold: 大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk
RT @hi_masai: 小林昭七先生による「数学論文の書き方(英語編)」 https://t.co/MOwFglbsGQ 冠詞の使い方など、勉強になりました。辞書を引く大切さも。 学生の頃、検索ヒット数で英語を調べていたら 「辞書を引きなさい。多数決で正しさを決めるのは科…

134 29 29 0 OA LR構文解析の原理

RT @blackenedgold: 大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk

134 29 29 0 OA LR構文解析の原理

大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk
RT @hi_masai: 小林昭七先生による「数学論文の書き方(英語編)」 https://t.co/MOwFglbsGQ 冠詞の使い方など、勉強になりました。辞書を引く大切さも。 学生の頃、検索ヒット数で英語を調べていたら 「辞書を引きなさい。多数決で正しさを決めるのは科…
トロッコ問題、トロリー問題と呼ばれる問題は、実のところいろいろ切り口があって、単一の問題ですらない。最近、自動運転でも問題になっていて、それも含めた研究のサーベイをロボット学会誌に書いたんだけど、残念ながら、非会員は1年間読めない仕様。https://t.co/NwlAMUdlYb

フォロワー(404ユーザ)の投稿一覧(直近7日間)

RT @ShigeruTaguchi: 西郷甲矢人さんとの共著『〈現実〉とは何か』(筑摩選書)の北島雄一郎さんによる書評が『科学哲学』に出ました。 https://t.co/LkthalXbE4 初めての本格的な書評であり、本書の議論を深く捉えてさらに敷衍するような素晴らしい叙…

134 29 29 0 OA LR構文解析の原理

RT @blackenedgold: 大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk

134 29 29 0 OA LR構文解析の原理

RT @blackenedgold: 大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk

134 29 29 0 OA LR構文解析の原理

RT @blackenedgold: 大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk

134 29 29 0 OA LR構文解析の原理

RT @blackenedgold: 大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk
RT @hi_masai: 小林昭七先生による「数学論文の書き方(英語編)」 https://t.co/MOwFglbsGQ 冠詞の使い方など、勉強になりました。辞書を引く大切さも。 学生の頃、検索ヒット数で英語を調べていたら 「辞書を引きなさい。多数決で正しさを決めるのは科…

134 29 29 0 OA LR構文解析の原理

RT @blackenedgold: 大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk

134 29 29 0 OA LR構文解析の原理

大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk
RT @hi_masai: 小林昭七先生による「数学論文の書き方(英語編)」 https://t.co/MOwFglbsGQ 冠詞の使い方など、勉強になりました。辞書を引く大切さも。 学生の頃、検索ヒット数で英語を調べていたら 「辞書を引きなさい。多数決で正しさを決めるのは科…
RT @kasa12345: トロッコ問題、トロリー問題と呼ばれる問題は、実のところいろいろ切り口があって、単一の問題ですらない。最近、自動運転でも問題になっていて、それも含めた研究のサーベイをロボット学会誌に書いたんだけど、残念ながら、非会員は1年間読めない仕様。https:…
RT @hi_masai: 小林昭七先生による「数学論文の書き方(英語編)」 https://t.co/MOwFglbsGQ 冠詞の使い方など、勉強になりました。辞書を引く大切さも。 学生の頃、検索ヒット数で英語を調べていたら 「辞書を引きなさい。多数決で正しさを決めるのは科…