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

Takayuki Kihara (@tri_iro)

投稿一覧（最新100件）

14 0 0 0 OA 作用素環における可分性・非可分性とダイヤモンド原理

関数解析の人の話で出てきたのはこれかな： 「作用素環における可分性・非可分性とダイヤモンド原理」 https://t.co/Tka1qhWxAg ロジックと関数解析（作用素環・C*環）関係の話題は結構耳にするけど、全然内容を追えてない

7 0 0 0 OA The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996

The Trend of Logic and FOM in Japan in 1991 to 1996 http://t.co/v3KJzAjtfE 前世紀はこんな「日本のロジックまとめ」みたいなの作ってたのかー。今も誰かやらないのかな。労力めっちゃ大変そうだけど。

3 0 0 0 OA A measure theoretic basis theorem for Π21

higherランダムネスをある種の測度論的基底定理の研究の拡張と見るならば、「ゼルプスト殿下の基底定理 https://t.co/dYAs3eX7Z9 」は割と重要な気もしないでもないんですが、higherランダムネスやってる人、あんまりこの論文に気づいてない感がある。

10 0 0 0 OA Hilbertの第2問題に関する証明論の展開

@phasetr ゲンツェンによる「順序数ε_0の下での」ペアノ算術の無矛盾性証明は聞いたことがあるかもしれませんが、それをスタート地点とする話で、このあらい先生の解説 https://t.co/d5ErGwwBn4 を見ると、その魔境具合を体感できます。

19 0 0 0 OA 投票ゲームと可測基数

選挙の投票の問題点に数学者の力を借りようとかいう感じのRTが流れてたけど、そういうのが集合論の人の目に留まると、人口が巨大基数人いる国とかを想定しだすので注意しよう！　例： 投票ゲームと可測基数 https://t.co/SIauklfP

5 0 0 0 OA The Set-theoretic Multiverse as a Mathematical Plenitudinous Platonism Viewpoint(<Special Section>Infinity in Philosophy and Mathematics)

RT @ytb_at_twt: 勉強会だん。本日話題に出た渕野先生の論文はこちら：The Set-theoretic Multiverse as a Mathematical Plenitudinous Platonism Viewpoint http://t.co/oY ...

4 0 0 0 OA 解析的整列順序とBasis theorem

話の内容的には、いわゆる「局所 的性質が大域的性質をもたらすという点でも大変興味深い。by 田中尚夫先生 https://t.co/OrdZJtkn 」くらい古い内容がベースだけど、難易度という表現ってまずいかな。basis theoremの"non-basis度"辺りが妥当？

4 0 0 0 Koch曲線とKoch島の計算可能性

コッホ曲線の変種を考えれば反例を作れる気がしてきた。後で読む：Koch曲線とKoch島の計算可能性 http://ci.nii.ac.jp/naid/110002812259

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

8 0 0 0 OA Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities

学位論文が総研大リポジトリで公開されました！ / https://t.co/H0dDAx3zAG

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

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

5 0 0 0 OA 数学基礎論の発達と数学の諸分科との交流 II

タイトルとか書いてなかった。。。 近藤 基吉『数学基礎論の発達と数学の諸分科との交流　Ⅰ』 ちなみに続編も発見 https://t.co/HYuQoDCrDr https://t.co/20rKZg7B7x

194 0 0 0 OA アルキメデスの球と球状体の取り扱いを巡って

ギリシャ人が「微積分を発明できなかった理由」はかつて熱心に研究されたことがありました．こちらはその論文で，今ではフリーで読めるようです．古代ギリシャの数学者は二次式の積分に帰着できる問題を，なぜ統一的に解かなかったのか？という「謎」への一つの回答です． https://t.co/fEDjpvVOTW https://t.co/ZVk7NPqxfb

24 0 0 0 OA 作用素環とテンソル圏

私は全然知らないですけどTwitter集合知によれば解析でも作用素環論や代数解析では圏論を普通に使う印象です https://t.co/nn2sxp69Di https://t.co/sPeuaecMhY https://t.co/WE5SL2gbYM

66 0 0 0 OA 形式言語理論:非可換と可換のあいだ

昨年末に「応用数理」に投稿した解説論文 「形式言語理論：非可換と可換のあいだ」 が J-STAGE 上で読めるようになりました． 形式言語理論特有の難しさや面白さを説明させてもらいました． 「応用」を意識して自然言語っぽい話もいくつか話題に取り入れてみました． https://t.co/B4PKRNZb6p https://t.co/qc71Z2O43m

6 0 0 0 OA 人工頭脳と練金術

数理論理学者の前原昭二が1961年に「人工頭脳と錬金術」https://t.co/eHK57SqIZ6 なんて論文を書いていて興味深い。ちなみにドレイファスが``Alchemy and Artificial Intelligence''を書いたのは1965年。

14 0 0 0 OA 純粋数学としての組合せ論 ——代数的組合せ論のめざすもの——

『純粋数学としての組合せ論 ——代数的組合せ論のめざすもの——』 https://t.co/DevB05FJ6g

3 0 0 0 OA 群の不変順序と位相幾何学

論説「群の不変順序と位相幾何学」 https://t.co/kg93LD3aVi

30 0 0 0 OA Category Theory of Consciousness: A Critical Perspective

圏論濫用反対派数学者の丸山さん「Category Theory of Consciousness」 https://t.co/p82K97uTif 最後に日高の「意識は圏とみなせるのか」 https://t.co/7oPCGbuXjY 豪華な誌上討論になりました。

1 0 0 0 OA 意識は圏とみなせるのか:

圏論濫用反対派数学者の丸山さん「Category Theory of Consciousness」 https://t.co/p82K97uTif 最後に日高の「意識は圏とみなせるのか」 https://t.co/7oPCGbuXjY 豪華な誌上討論になりました。

28 0 0 0 OA 不完全性定理はなぜ意外だったのか

不完全性定理が数学基礎論の各プログラムに与えた影響について，手短にかつ精緻に論じた論文．飯田隆，「不完全性定理はなぜ意外だったのか」（『科学基礎論研究』）https://t.co/M6DkxiiyXo

7 0 0 0 OA 議論理論に基づく推理小説の犯人推理

JAIST Repository: 議論理論に基づく推理小説の犯人推理 教えて頂いた論文。「隅の老人」モノを題材に、議論論理と呼ばれる論理体系の一種を用いて形式化して、計算機に犯人を当てさせようとしている。 https://t.co/IObihaeb25

2 0 0 0 OA FoSSaCS 2017参加報告

JSTAGEにて "FoSSaCS 2017 参加報告" が公開されました．オンラインで読めます． 昨年の4月に行われた FoSSaCS に参加してきたのですが，その報告記(論文紹介含む)になります．どうぞご笑覧ください． https://t.co/zlwLTO1yqm https://t.co/6RV63yylOC

3 0 0 0 Proceedings of the First International Meeting of Origami Science and Technology

1989年には折り紙に関する国際研究会が開かれていたようです Proceedings of the First International Meeting of Origami Science and Technology https://t.co/jU5jdkbAWp 去年も研究会は続いているようです https://t.co/E4bnbaoXLZ

31 0 0 0 OA 量子情報の数学的基礎

小澤正直先生が日本数学会賞秋季賞を取られたときに雑誌「数学」に掲載されたサーベイ「量子情報の数学的基礎」 https://t.co/33uNNe69Yy の英語版が出版されていたとは知らなかった。 https://t.co/ntF2AfeeqF

2 0 0 0 OA 非可換観測量の同時測定可能性(量子解析におけるミクロ・マクロ双対性)

4)「同時測定可能性」の明確な定義は小澤正直氏が与えています。講演記録が参考になると思います：小澤氏の講究録 http://t.co/cpPQnk712F／小澤氏の論文 http://t.co/QtEh2WIsGT ／@necrophilism

1 0 0 0 OA A consistency proof as system including Feferman's ID by Takeuti's reduction method

今日はArai ``A consistency proof as system including Feferman's ID by Takeuti's reduction method” https://t.co/I7JhOLXYm7 を読んでいた．

6 0 0 0 OA 学会の役割を考える:科学基礎論学会の学術誌刊行に関する議論を通して

菊池誠（神戸大）「学会の役割を考える：科学基礎論学会の学術誌刊行に関する議論を通して」 https://t.co/FEqGeaElnB

13 0 0 0 探索プログラムによる四路盤囲碁の解

清・川嶋(2000) 探索プログラムによる四路盤囲碁の解 http://t.co/HHHHQFZVz5

53 0 0 0 OA 第二次世界大戦期に於ける日本人数学者の戦時研究 (数学史の研究)

「第二次世界大戦期に於ける日本人数学者の戦時研究 (数学史の研究)」（木村洋）　http://t.co/IHXchBprr6 「数学者の（戦時）研究の失敗の背景には, 「数学的美意識を追求する余り, 現実と季離した」という側面も否めない」

20 0 0 0 OA <一般論文> 循環性を受け入れる : 構成主義における可述性の位置づけの変更とその影響

直観主義的型理論上でどの程度循環的な集合の定義ができるのかは、非常にホットな現代的話題である。興味をお持ちの方は拙論をご覧下さい（宣伝） http://t.co/uokRjiFmnN 「循環性を受け入れる : 構成主義における可述性の位置づけの変更とその影響」

5 0 0 0 OA The Set-theoretic Multiverse as a Mathematical Plenitudinous Platonism Viewpoint(<Special Section>Infinity in Philosophy and Mathematics)

勉強会だん。本日話題に出た渕野先生の論文はこちら：The Set-theoretic Multiverse as a Mathematical Plenitudinous Platonism Viewpoint http://t.co/oYRpsTNp 数学的真理の可能世界！

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

RT @aahheeaadd : ちょっと面白い論文　http://ci.nii.ac.jp/naid/110002932329/

27 0 0 0 多種の修理施設をもつ機械の保全問題

Hatoyama (1979) Journal of the Operations Research Society of Japan に 目を とおしている．マルコフ型劣化を伴なう機械の保全問題． http://ci.nii.ac.jp/naid/110001184029/

1 0 0 0 OA ある行列等式に関する環論と圏論の試み

これは圏論への良い入門 - http://ci.nii.ac.jp/naid/110000985419/

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

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