rizkubo (Twitter) - ユーザ詳細

た〜にゃ (@rizkubo)

投稿
お気に入り
フォロー
フォロワー

投稿一覧（最新100件）

101 0 0 0 OA ドイツ語と英語が合成された学術用語“Eigenvalue”に関する数理的考察

RT @yetput_ikura: ドイツ語と英語が合成された学術用語 “Eigenvalue” に関する数理的考察 https://t.co/BH6FrghDIW 昔は proper value などと呼ばれていたらしく，Eddington やら Dirac やらが使い始め…

15 0 0 0 OA 貯金の出来る暮し方 : 研究実例

RT @tigerbutter: うるせーどうせ野蛮人だよ https://t.co/WaG7NM0lbQ #帝國圖書館 https://t.co/93furWdMT2

1136 0 0 0 OA 増大するあなたの価値,無力化される私婚活パーティーにおけるフィールドワークを通じて

RT @iamhuskin: 男性の婚活フィールドワーク研究、悲しい https://t.co/ZrJQufCICK https://t.co/fL78Iht9cp

6 0 0 0 OA [[[不完全性定理に挑む]に挑む]に挑む], ゲーデル(著), 林晋, 八杉満利子(解説、翻訳), ゲーデル不完全性定理 / 田中一之(著), ゲーデルに挑む証明不可能なことの証明書評

RT @Alwe_Logic: あと渕野先生の書評も並行して読むとよい https://t.co/89i4EVYZc0

9 0 0 0 OA 定理証明支援系に基づく形式検証 -近年の実例の紹介とCoq入門-

@sanjutsu_yu このへんにCoqでの同値関係の理屈書いてて、まあこれ自体は納得できるのですが実装がわからない https://t.co/EbmkFiz5Zb https://t.co/Mm91GteY7H

4 0 0 0 OA ソーシャルメディアと分断化する社会的リアリティ(<特集>Twitterとソーシャルメディア)

ソーシャルメディアと分断化する社会的リアリティ(<特集>Twitterとソーシャルメディア) https://t.co/JkA7D1r1Eh

5 0 0 0 OA 自然数論の無矛盾性証明の必要性

https://t.co/93WXSL1lhf

お気に入り一覧（最新100件）

6 0 0 0 OA [[[不完全性定理に挑む]に挑む]に挑む], ゲーデル(著), 林晋, 八杉満利子(解説、翻訳), ゲーデル不完全性定理 / 田中一之(著), ゲーデルに挑む証明不可能なことの証明書評

あと渕野先生の書評も並行して読むとよい https://t.co/89i4EVYZc0

た〜にゃ (@rizkubo)

投稿一覧（最新100件）

101 0 0 0 OA ドイツ語と英語が合成された学術用語“Eigenvalue”に関する数理的考察

15 0 0 0 OA 貯金の出来る暮し方 : 研究実例

1136 0 0 0 OA 増大するあなたの価値,無力化される私婚活パーティーにおけるフィールドワークを通じて

6 0 0 0 OA [[[不完全性定理に挑む]に挑む]に挑む], ゲーデル(著), 林晋, 八杉満利子(解説、翻訳), ゲーデル不完全性定理 / 田中一之(著), ゲーデルに挑む証明不可能なことの証明書評

9 0 0 0 OA 定理証明支援系に基づく形式検証 -近年の実例の紹介とCoq入門-

4 0 0 0 OA ソーシャルメディアと分断化する社会的リアリティ(<特集>Twitterとソーシャルメディア)

5 0 0 0 OA 自然数論の無矛盾性証明の必要性

お気に入り一覧（最新100件）

6 0 0 0 OA [[[不完全性定理に挑む]に挑む]に挑む], ゲーデル(著), 林晋, 八杉満利子(解説、翻訳), ゲーデル不完全性定理 / 田中一之(著), ゲーデルに挑む証明不可能なことの証明書評

フォロー（856ユーザ）の投稿一覧（直近7日間）

フォロワー（351ユーザ）の投稿一覧（直近7日間）

た〜にゃ (@rizkubo)

投稿一覧（最新100件）

101 0 0 0 OA ドイツ語と英語が合成された学術用語“Eigenvalue”に関する数理的考察

15 0 0 0 OA 貯金の出来る暮し方 : 研究実例

1136 0 0 0 OA 増大するあなたの価値,無力化される私 婚活パーティーにおけるフィールドワークを通じて

6 0 0 0 OA [[[不完全性定理に挑む]に挑む]に挑む], ゲーデル(著), 林晋, 八杉満利子(解説、翻訳), ゲーデル 不完全性定理 / 田中一之(著), ゲーデルに挑む 証明不可能なことの証明 書評

9 0 0 0 OA 定理証明支援系に基づく形式検証 -近年の実例の紹介とCoq入門-

4 0 0 0 OA ソーシャルメディアと分断化する社会的リアリティ(<特集>Twitterとソーシャルメディア)

5 0 0 0 OA 自然数論の無矛盾性証明の必要性

お気に入り一覧（最新100件）

6 0 0 0 OA [[[不完全性定理に挑む]に挑む]に挑む], ゲーデル(著), 林晋, 八杉満利子(解説、翻訳), ゲーデル 不完全性定理 / 田中一之(著), ゲーデルに挑む 証明不可能なことの証明 書評

フォロー（856ユーザ）の投稿一覧（直近7日間）

フォロワー（351ユーザ）の投稿一覧（直近7日間）

1136 0 0 0 OA 増大するあなたの価値,無力化される私婚活パーティーにおけるフィールドワークを通じて

6 0 0 0 OA [[[不完全性定理に挑む]に挑む]に挑む], ゲーデル(著), 林晋, 八杉満利子(解説、翻訳), ゲーデル不完全性定理 / 田中一之(著), ゲーデルに挑む証明不可能なことの証明書評

6 0 0 0 OA [[[不完全性定理に挑む]に挑む]に挑む], ゲーデル(著), 林晋, 八杉満利子(解説、翻訳), ゲーデル不完全性定理 / 田中一之(著), ゲーデルに挑む証明不可能なことの証明書評