秋津早苗

@akitsu_sanae

C++, Rust, OCamlなどを書きます。型理論, モデル検査, プログラム検証, 少年に興味があります。成人済

Vrijeme pridruživanja: travanj 2014.

Tweetovi

Blokirali ste korisnika/cu @akitsu_sanae

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

  1. Prikvačeni tweet
    31. pro 2019.

    来年の目標は自信の糧になる論文を書く、です

    Poništi
  2. prije 10 sati

    大学くんのプロプライエタリなソフトウェアから印刷する前提なxlsxを送ってくるところ、ちょっと嫌いです

    Poništi
  3. 3. velj

    勉強になる

    Poništi
  4. 3. velj
    Poništi
  5. 2. velj

    些末なコードを書くのに時間を使いたくないがついついそっちに気を引かれてしまう

    Poništi
  6. 2. velj

    アルコール苦手だったんだけど、それがアレルギー由来だと知ってからだんだんと美味しくお酒を飲めるようになってきた(アレルギーなのに飲むな)

    Poništi
  7. 1. velj

    皆様の二月がより良きものになりますように.

    Poništi
  8. 31. sij

    少年・少年・少年

    Poništi
  9. 31. sij

    King GnuのことずっとGNU関連の何かだと思ってた

    Poništi
  10. 31. sij

    かわいい男の子が楽しそうに歌ってるのを眺めるのは精神に良い

    Poništi
  11. 29. sij

    地面を見下ろす少年に足蹴にされたい

    Poništi
  12. 29. sij

    何故かやる気が起きない。今日はゼミでお話しなきゃなのに

    Poništi
  13. proslijedio/la je Tweet
    29. sij

    ベビードールを着た男

    Poništi
  14. 28. sij

    人生で初めて辛辛魚を食べた

    Poništi
  15. proslijedio/la je Tweet
    28. sij

    作品集「Half moon」(1/30発売)花と妖精の絵より

    Poništi
  16. 28. sij

    修論発表が終わった方々、お疲れ様でした

    Poništi
  17. 28. sij

    RustでCTLモデル検査器を実装した

    Poništi
  18. 28. sij

    まずはとにかく動かすためにメモリの気持ちを無視したcloneまみれのコードを書くんだけど、一旦動いたらもう興味が離れちゃうんだよな

    Poništi
  19. 26. sij

    英語のリスニングの練習をしています

    Poništi
  20. 26. sij

    【NIJISANJI IN】Noor’s Chatty First Live Stream ☆*。★゚*♪ さんから

    Poništi
  21. proslijedio/la je Tweet
    21. sij

    0.1は浮動小数点で正確に表せないのに、printしたときに0.1と表示されるのはなぜか

    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:

    ·