Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Twitter
  3. mineel

mineel (@mineel5)

投稿一覧（最新100件）

81 0 0 0 OA 不完全性定理の数学的発展

RT @Kurahashi16: 数学会の論説に寄稿した解説論文 "不完全性定理の数学的発展" が無料でダウンロードできるようになりましたね． https://t.co/kMiBjP9OF7 ご興味のある方はぜひご一読ください．

3 0 0 0 OA 量子コンピュータ:5.量子プログラミング言語

「これがやりたい」が明確に見つかったかも https://t.co/iJtjohRtiO

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

81 0 0 0 OA 不完全性定理の数学的発展

数学会の論説に寄稿した解説論文 "不完全性定理の数学的発展" が無料でダウンロードできるようになりましたね． https://t.co/kMiBjP9OF7 ご興味のある方はぜひご一読ください．

15 0 0 0 OA 『ソフトウェアサイエンスの基本』シリーズ第2回 帰納と再帰 —表示的意味論の第一歩—

論理式の定義がなぜ循環的定義ではないのかについて調べていたら、難しそうな話に突入した https://t.co/yNzNDiK0aH

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

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