情報更新

last update 12/03 11:39

ツイート検索

 

@ytb_at_twt
サイトメニュー
Twilogユーザー検索

Twilog

 

@ytb_at_twt

ytb@ytb_at_twt

Stats Twitter歴
4,577日(2009/05/24より)
ツイート数
64,301(14.0件/日)

ツイートの並び順 :

表示するツイート :

2021年12月03日(金)1 tweetsource

2021年12月02日(木)7 tweetssource

2021年12月01日(水)1 tweetsource

2021年11月30日(火)5 tweetssource

11月30日

@ytb_at_twt

ytb@ytb_at_twt

午前中の作業、全部間違った事をしていたことを発見したが、発見の喜びは何事にも代えがたい。

posted at 10:40:56

2021年11月29日(月)5 tweetssource

11月29日

@ytb_at_twt

ytb@ytb_at_twt

21世紀に論理学について何か言うなら、非古典論理について知らないと恥ずかしい。本書は、非古典論理のモデルに特化していますが、そこが逆に教育的効果を高めていて、非古典論理への日本語の入門書としては最適な一冊になったと思います。皆さん、是非買って下さい!

posted at 21:30:01

2021年11月28日(日)9 tweetssource

11月28日

@ytb_at_twt

ytb@ytb_at_twt

いやーしかしアレですねー本の原稿が終盤を迎え煮詰まってくると、全部焼き捨てて〆切のない国に逃げ出したくなるってホントだったんですねー。

posted at 22:44:55

11月28日

@ytb_at_twt

ytb@ytb_at_twt

…ボクが学生の頃コンピュータの「低級言語」といえば「マシン語」、それでは人間が理解しづらいので高級言語足る「C言語」を使って実際にはプログラミングする、と言っていたんですが。
現代の低級言語ってなに?もしかしてC++?
高級言語といえば?Python?Rust?OCaml?Haskell?

posted at 15:02:15

11月28日

@ibaibabaibai

baibai@ibaibabaibai

京大のリモート集中講義を京大関係者(京大のメールアドレスを持っている大学院生・PD・教員等)限定で公開予定です.詳細は後ほどお知らせしますが日時内容は以下の通りです:ベイズ統計入門(12/7午前午後&12/9午前,昨年とほぼ同じ),頻度論的な統計&モデル選択(12/9午後&12/14午後,新規)

Retweeted by ytb

retweeted at 13:23:09

2021年11月27日(土)9 tweetssource

11月27日

@fringejp

fringe@fringejp

新国立劇場が「新国デジタルシアター」開設。当面無料。有料配信は「『来年度(2022年4月以降)に行いたいと考えている。演目を含め検討中』。視聴料金は『2020年にバレエ公演のライブ配信を3000円、アーカイブは980円で提供した。この金額をベースに検討』」(ITmedia NEWS)
www.itmedia.co.jp/news/articles/ twitter.com/nntt_engeki/st

Retweeted by ytb

retweeted at 00:45:50

11月27日

@nntt_engeki

新国立劇場の演劇@nntt_engeki

🎉主催公演等の映像配信を行うプラットフォーム「新国デジタルシアター」を開設しました!🎉

今後、映像という形で、新国立劇場の多彩な公演をお客様の元へお届けします🎶📲
お好きな時間、場所で、より自由に劇場を体感してください。

あなたがいる場所...そこ、劇場です。

#nnttstream

Retweeted by ytb

retweeted at 00:45:35

2021年11月26日(金)16 tweetssource

11月26日

@ytb_at_twt

ytb@ytb_at_twt

参考文献を考えるのが面倒になった時は、SEPの該当エントリをあげとけばいいよね…。

posted at 21:47:42

11月26日

@ytb_at_twt

ytb@ytb_at_twt

@ksuenaga そう書くと哲学者から「否定詩学」(否定でしか語れない概念があるという考え方:ポストモダニストから目の敵にされている)だって攻撃されてしまいます…。

posted at 15:55:06

11月26日

@hiranotakasi

Hirano Takashi / 平野高志@hiranotakasi

宇軍情報機関トップによる、露が宇周辺に9万2000人強の兵力を集結との発言のミリタリータイムズ報道には、宇側が出した1枚紙が掲載されてて、そこには宇露間国境沿以外に、ドンバス・クリミア被占領地、ベラルーシ領、トランスニストリア地方の露軍部隊展開も載っている。
www.militarytimes.com/flashpoints/20 pic.twitter.com/lhWZs62RY3

Retweeted by ytb

retweeted at 15:53:28

11月26日

@ytb_at_twt

ytb@ytb_at_twt

「有限の立場」という考え方は、こういう考え方から、無限的な対象に関する推論も、有限的で安全な仕方で処理しようというものである。

posted at 15:10:19

11月26日

@ytb_at_twt

ytb@ytb_at_twt

(たとえば「任意の有限の自然数はωの元である」「任意の集合Xがωと同じメンバーを持つならば、X=ωである」など)しか主張できない。てそういう無限的な対象に関する性質の推論は、やはり有限個の記号を使い、有限時間で、有限の長さで書ける記号処理規則に従って行われる。

posted at 15:10:00

11月26日

@ytb_at_twt

ytb@ytb_at_twt

数学を行う際には有限的でない対象を表現する記号を仮に導入することもある(たとえば公理的集合論では自然数全体がなす無限集合ωを定義可能だと見なす)が、そのωは一文字の記号であり、その性質はZFの公理系が主張して良いと保証してくれる性質(続)

posted at 15:05:21

11月26日

@ytb_at_twt

ytb@ytb_at_twt

本質的に人間は有限的な生物である。
人間は、有限の長さの記号列を、有限時間で、有限の長さで書ける記号処理規則に従って変換し続ける、それだけの存在である。

posted at 15:04:28

11月26日

@ytb_at_twt

ytb@ytb_at_twt

それらの無限的対象に関する理論を使っても問題を起こさないことを担保してくれる数学的理論として証明論を作った。
その際に、そのプロセスの正しさを保証してくれる(哲学的な)基本原理として、ヒルベルトが掲げたのが「有限の立場」である。

posted at 15:03:14

11月26日

@ytb_at_twt

ytb@ytb_at_twt

19世紀末のヒルベルトの場合、同時代に誕生した無限集合を扱う公理的集合論について、それらの理論で導入される無限集合は一見人間の数学的直観の範囲を超えた対象のようにも思えるためカント的な見地から何も考えずに使ってしまって大丈夫かという心配が出てくるが、(続)

posted at 15:02:52

11月26日

@ytb_at_twt

ytb@ytb_at_twt

急募:
吉永良正「ゲーデル・不完全性定理」って、「ヒルベルト計画はゲーデル不完全性定理により終止符を打たれた」って主張していましたっけ?

posted at 10:40:52

11月26日

@ytb_at_twt

ytb@ytb_at_twt

@minaokukita ヒルベルトにおけるカントの影響って、真面目にやったら一生終わる研究テーマですよね…。二行で終わらせていいのか…?

posted at 09:33:30

このページの先頭へ