Untitled
将軍「バグのないプログラムを作ってみせよ」
一休「ではバグのない仕様書を出してください」
“
— 関数型プログラミング言語「Agda」の研修コースを産総研が開催 - スラッシュドット・ジャパン (via anbt) (via erewwa) (via rpm99) (via hepton-rk) (via puruhime) (via ikurakun) (via yaruo)
Reblogged 2 years ago from yaruo (Originally from anbt)
354 notes
Source: anbt
  1. hkitago reblogged this from hirotakajp
  2. anotherzero reblogged this from gutarin
  3. jaback reblogged this from s-hsmt
  4. tra249 reblogged this from skamio
  5. skamio reblogged this from s-hsmt
  6. omanchi reblogged this from s-hsmt
  7. kaigen0sm reblogged this from tory33
  8. tory33 reblogged this from s-hsmt
  9. yshm reblogged this from s-hsmt
  10. s-hsmt reblogged this from reservoir
  11. uom reblogged this from l9g
  12. giz0123 reblogged this from naritabryan
  13. tmura reblogged this from soothingnoise
  14. art-two reblogged this from soothingnoise
  15. mil-memory reblogged this from toshiyam
  16. naritabryan reblogged this from enoeno
  17. ishida reblogged this from soothingnoise
  18. soothingnoise reblogged this from oosawatechnica
  19. stardance reblogged this from tayu-tau
  20. ryujisnote reblogged this from vevev
  21. oharico reblogged this from funkfumi
  22. ahohtwo reblogged this from himmelkei
  23. shinguji reblogged this from shibats
  24. kkura01413kn reblogged this from reservoir
  25. ladi0s reblogged this from oosawatechnica
  26. henachoko reblogged this from reservoir
  27. shibats reblogged this from tayu-tau
  28. dalk reblogged this from sivamuramai
  29. vevev reblogged this from 0x0c3
  30. 80hs reblogged this from knnr
  31. tame-o reblogged this from sironekotoro
  32. himmelkei reblogged this from hepton-rk
  33. multi reblogged this from nashi-kyo
  34. pgtwitter reblogged this from neknee
  35. daizydaizy reblogged this from nashi-kyo
  36. nashi-kyo reblogged this from tex
  37. civ4nico reblogged this from niburn
  38. yuuji0629 reblogged this from sironekotoro
  39. hepton-rk reblogged this from niburn
  40. niburn reblogged this from hirotakajp
  41. hirotakajp reblogged this from rngsnow
  42. tex reblogged this from funkfumi
  43. koi0829 reblogged this from hisame