水無麻那

@Mizunashi_Mana

弱いHaskeller。オブジェクト指向が好き、でも業務では使いたくない。あと、Lazy Kも好き、でも業務では使いたくない。C言語が分からないので、プログラミングできないです

mizunashi-mana.github.io
Vrijeme pridruživanja: travanj 2010.
110 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @Mizunashi_Mana

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

  1. Prikvačeni tweet
    31. ožu 2019.

    エイプリルフール前に公開できてよかった．ブログ始めました | 続くといいな日記 – ブログ始めました

    2 proslijeđena tweeta 13 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    3. velj

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

    70 proslijeđenih tweetova 55 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. 3. velj

    Twitter でこういうの垂れ流すのは良くないな。お口ミッフィーちゃんしなきゃ

    2 korisnika označavaju da im se sviđa
    Poništi
  4. 3. velj

    ダンゴムシ社会は、多分生きるか死ぬかだし大丈夫(ダンゴムシにはダンゴムシの言い分があるかもしれない)

    Poništi
  5. 3. velj

    人間社会、素敵な生き方と言うのと、実際に社会に貢献する生き方というものがあり、両者が180度違うし、人間は前者を建前にするけど、実際に生きなきゃいけないので後者を優先するという

    1 korisnik označava da mu se sviđa
    Poništi
  6. 3. velj

    ダンゴムシになりたい

    2 korisnika označavaju da im se sviđa
    Poništi
  7. 3. velj

    割と無能な方なので、社会に必要とされなくなったらどうするかみたいなんをよく考える

    Poništi
  8. 3. velj

    無能な人はいないという言明、無能な人がいた場合に破綻するので、有能/無能なんて区別しなくて良いと言うのが、自由社会の本質だったはずが、競争も自由になった結果区別する必要が出てくるというあれな

    1 proslijeđeni tweet
    Poništi
  9. 3. velj

    AtCoder の秘伝のタレ作ってると、「いやあ、local module ないの辛いっすわあ」ってなる

    1 korisnik označava da mu se sviđa
    Poništi
  10. 3. velj

    同じ夢見たことある

    1 korisnik označava da mu se sviđa
    Poništi
  11. proslijedio/la je Tweet
    2. velj

    昔、「なぜか急に学会の会場にいて、発表することになってるけど、スライドが全く出来てなくて、あと数分で発表の番が回ってくるので、どうやってごまかそうか考えている」という内容の夢も見たことある。

    4 proslijeđena tweeta 11 korisnika označava da im se sviđa
    Poništi
  12. 3. velj

    結構大幅に修正した | 続くといいな日記 – State モナドの代わりに Reader モナドを使う

    4 proslijeđena tweeta 9 korisnika označava da im se sviđa
    Poništi
  13. 2. velj

    先は長そうだよなあ

    2 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  14. 2. velj

    Haskell，おまえのことやぞ

    3 korisnika označavaju da im se sviđa
    Poništi
  15. 2. velj

    Java / C# / TypeScript の IDE が成功してるのは，割と type system も効いてる気がするので (なお，強力すぎる type system は， IDE を阻害するのは事実だと思う)

    11 korisnika označava da im se sviđa
    Poništi
  16. 2. velj

    JavaScript の補完環境が TypeScript のおかげでかなり改善されたのを目にしてるので， type system を絶対視する人たちを嫌いになるのと共に， type system 自体を嫌いにならないで欲しいとは思う...

    2 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Poništi
  17. 2. velj

    後，ネストしてる場合でも内部まで全部展開する

    Poništi
  18. 2. velj

    しかもこれ，かなり大きなデータ型に対しても展開するんだな...

    Poništi
  19. 2. velj

    GHC ，最適化でデータ型のフィールド全部展開するのか... -O2 だと data A = A Int Int Int f :: A -> Int f (A 0 n2 n3) = n2 + n3 f (A n1 n2 n3) = f (A n2 n3 (n1 - 1)) が f (A n1 n2 n3) = go n1 n2 n3 where go 0 n2 n3 = n2 + n3 go n1 n2 n3 = go n2 n3 (n1 - 1) になる

    3 korisnika označavaju da im se sviđa
    Poništi
  20. 2. velj

    注意喚起載せましたが，現状この記事の内容は不備があるのでご注意ください．不備は，できれば今日中に修正する予定です ( さん，ありがとうございます)

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  21. 2. velj

    StrictData、大事

    Poništi

@Mizunashi_Mana još nije objavio nijedan Tweet.

Č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:

    ·