muratak

@emptst

今年の 4 月より東京の予定。数理的なこと全般が好き。間違いを含む言明を呟くことがそれなりの頻度であります。ツイート内容について、ご訂正、ご質問、コメントなどいただけると嬉しいです。リプライや引用RTはお気軽にどうぞ。programming language, lambda calculus, ...

福岡 飯塚市
Vrijeme pridruživanja: kolovoz 2017.

Tweetovi

Blokirali ste korisnika/cu @emptst

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

  1. Prikvačeni tweet
    31. sij

    ちょっと発表内容の宣伝をしてみます.内容はタイトル通りで,大雑把に言えば「Coq で hylomorphism を使ったプログラミングや,運算・検証がやりたい!」というものです.思ったよりも理論的に大掛かりな話になって,近頃一部で話題の (?), Delay モナドや recursive coalgebra も使いました.

    Prikaži ovu nit
    Poništi
  2. prije 47 minuta

    みなさん PPL 好きすぎでは。

    Poništi
  3. prije 10 sati

    言語のマスコットキャラクターではないけど、じぇねらるたんはかわいいと思う人が多そう。

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

    のLTにてミルクボーイの漫才したときの動画です。 プログラミルクボーイ「Java」

    Prikaži ovu nit
    Poništi
  5. prije 10 sati

    雪 + 夜 + 灯り の組み合わせが好きすぎるので、札幌にいたとには、よく冬の深夜徘徊していたのを思い出した。

    Poništi
  6. 2. velj

    Cpo で \( \bigsqcup_{i} \bigsqcup_{j} d_{ij} = \bigsqcup_{j} \bigsqcup_{i} d_{ij} = \bigsqcup_{i} d_{ii} \) が成り立っているの相当に強い.

    Poništi
  7. 2. velj

    そういえば昔のアイコンは多少はかわいかったかもしれない.

    Prikaži ovu nit
    Poništi
  8. 2. velj

    かわいいアイコンの人に like されるとなんとなく嬉しいので,自分もかわいいアイコンにした方が良いのかもしれないということをふと思った.

    Prikaži ovu nit
    Poništi
  9. 2. velj

    まあ,乗りかかった船なので,ほぼ Coq の説明になろうとも,アイデアの説明ぐらいまでは記事にできたら良いなと思ってます.

    Prikaži ovu nit
    Poništi
  10. 2. velj

    で,Capretta の Y コンビネータ(というのは本人がそういってるからで,本当は delay-fix とでもよぶべきものだと思うけど)の話とかも面白いので解説しても良いけど,そもそも Delay が普通に理解できる人は(Capretta の解説はわかりやすいので)論文読めば普通に理解できるだろうと言う.

    Prikaži ovu nit
    Poništi
  11. 2. velj

    Delay モナドの解説記事でも描こうかなと思ってガーッと途中まで書いたけど,ほぼ Coq の Inductive / Fixpoint と CoInductive / CoFixpoint の説明になっておる(これが理解できている人には Delay は一瞬で理解できるので,それはそう).

    Prikaži ovu nit
    Poništi
  12. 2. velj

    大体の論文は、そこから期末試験みたいなの作るのって難しいのではないかと思う。

    Prikaži ovu nit
    Poništi
  13. 2. velj

    自分の論文を読ませてその内容についての理解度テストするの、新しいですね()

    Prikaži ovu nit
    Poništi
  14. 2. velj

    久しぶりに2日間寝てはゲームの練習をするという充実した(?)休日を過ごしたので、明日から平常運転に戻っていきたい。

    Poništi
  15. 2. velj

    サボっていた分を練習した。相変わらず iPad Pro で書いた

    Prikaži ovu nit
    Poništi
  16. 2. velj

    師匠その1に戴いた書道字典をどっかにやったかもしれない(おい

    Poništi
  17. proslijedio/la je Tweet
    2. velj

    Webで答えを配布するやつよくあるけど、明らかに本の方が長生きするので残念なことが起こる

    Poništi
  18. 2. velj

    色々な意見がありますが私は平成明朝体大好きです。

    Poništi
  19. 2. velj

    お、てか平成明朝体使えるようになってるのか、と思ったら、これは TypeBank Passport を契約しないと使えないのかあ。

    Prikaži ovu nit
    Poništi
  20. 2. velj

    モリサワの学割パックの契約が切れたのだが、1/4 くらいの金額になる優待があるっぽくて、それを使って通常のモリサワパスポートを契約しようか検討中。

    Prikaži ovu nit
    Poništi
  21. proslijedio/la je Tweet

    「言語はアイデンティティをどのように形成するのか」「デジタル時代において手書きはどのような役割を果たすのか」。街に溢れる漢字のタイポグラフィを通してフォントの国際的なデザインや視覚文化、アイデンティティを探求する台湾のドキュメンタリー映画「漢字」絶賛配信中

    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:

    ·