H. M. (ALGI2020@Kyoto, ALC2021@Kyoto)

@metaphusika

Research interests: Category Theory, Mathematical Logic, Theoretical Computer Science, Philosophy of Computation.

Kyoto, Japan
Vrijeme pridruživanja: ožujak 2009.

Tweetovi

Blokirali ste korisnika/cu @metaphusika

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @metaphusika

  1. Prikvačeni tweet

    なんとなく診断メーカーをやってみたら,神をも超えた存在になってしまった。 / metaphusikaの天使適性度【600】 神をも超えた存在です

    Poništi
  2. 原さんの新著はまさにそういうタイトルなんですけど,目次を見る限りは圏は最後に触れてある程度っぽいですね。現物はそのうち入手予定ですが。

    Poništi
  3. coffee break/あるアマチュア数学者の記……原 啓介 1 原さんは立命館の教授をあっさりやめた元(もしくは現)プロ数学者じゃないですかあ / 数学セミナー2020年3月号|日本評論社

    Poništi
  4. ボーイスカウトとワンゲル経験者なので,もやい結びとか巻き結びとかテグス結び(漁師結び)とかの実用的なロープの結び方は知ってる。あと捩れないイーサネットケーブルのまとめ方とか(違

    Poništi
  5. 生粋の京都人ではないがとりあえず全問正解 / 京都府民なら解けて当然?

    Poništi
  6. たしかにHPV(いわゆる子宮頸がんのウィルス)は男性も感染するし発症する場合もあることはあまり知られていないなあ。

    Poništi
  7. 今日の病院の夕食は太巻き,鰯,福豆という節分バージョンだった。

    Poništi
  8. proslijedio/la je Tweet
    prije 16 sati

    【重要:卒論など締め切りを控えている方は TeX Live の更新を控えましょう!】 日本時間の今朝,TeX Live にも新しい LaTeX2e が取り込まれました。(r53640) 今日以降,tlmgr でアップデートすると随時降ってきますが,お手許のソースのコンパイル結果が変わる可能性がありますのでご注意ください。

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    2. velj

    pLaTeX, upLaTeX, jsclasses の 2020-02-02 版を緊急リリースし,LaTeX 2020-02-02 で導入された NFSS(フォント選択システム)の拡張機能へ対応させました。 詳細はこちら→ 何か不具合があったら早めに知らせてください。

    Prikaži ovu nit
    Poništi
  10. 本日令和2年2月2日では色々なところで記念乗車券が発売されているらしい。京都なら叡山電鉄とか。

    Poništi
  11. 圏論的論理の専門家のUさんがみるみるうちに(∞,1)-圏に染まっていく様子を目の当たりにしている。

    Poništi
  12. 東大では女子と話すときに出身校を話題にする男子(開成とか麻布とか筑駒とか)が多いと聞いていたが,女子が関西出身だった場合,あれなにキモイ,そもそも知らんし,という辛辣なお言葉の実例を聞いた。あ,女子も東大です。

    Poništi
  13. 勿論学外に持ち出せることが前提ですが。そうでなけれえば学内のWifiの保守管理をしたくないというのが理由だと思います。どちらにしても本格的な動画に必要な帯域のことはあまり考慮してないように思いますが。

    Prikaži ovu nit
    Poništi
  14. 今回のモデルのLTEは3Gです。それでもLTEにこだわっているのは(日本的な厳密な)平等性でしょう。ストレージなどクラウドを前提とした仕様のようなのでネットワークが切れると使い物にならない。その場合Wifiだと学外で使える生徒とそうでない生徒の差が大きくなりすぎるという判断でしょう。

    Prikaži ovu nit
    Poništi
  15. 本日は午前中に病室を移るため準備して待機中。荷物まとめたのでスマホしかいじるものがない。

    Poništi
  16. 今日の検査の結果,病院で不在者投票することが確定した(おおごとではなく念のためというやつです)。

    Poništi
  17. そういえば最新の13.3.1にもまだアップデートしてなかった。 /iPhone盗み聞きされる恐れ、OSに欠陥 : テクノロジー : ニュース : 読売新聞オンライン

    Poništi
  18. これはこれで有用な情報だけど細菌とウィルスは違うからね。インフルエンザがらみでTLに流れていたけどこれはあくまで前者に対するテスト。 / 除菌ウエットティッシュの効果をテスト

    Poništi
  19. TLを騒がせている「PなのはQのとき」(元のツイートが埋もれてわからなくなっている)だけど,数学の場合,論理的関係はQ⇒Pだけど定義ならばP⇔Qと見なす慣習は知られていないのかな。英語なら以下のページに定義にはif and only ifの代わりに普通ifを使う説明があります。

    Poništi
  20. 明日の検査結果次第では初めて病院での不在者投票を体験することになるかもしれない。まあ今の感触ではぎりぎり退院できる確率の方が高そうだけど。

    Poništi
  21. WIDEプロジェクトの初期からのメンバーである佐野晋さんの訃報と村井純さんのコメントが公表されました。 記憶にある佐野さんは村井さんとは対照的にいつも大人の立ち位置でしたけど笑うときは子供のように楽しそうでした。R.I.P.

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·