Kazuto Ishiharaの投稿記録

2016年1月17日 (日)

• 18:232016年1月17日 (日) 18:23 差分 履歴 −3 M Haskell/圏論 →最初の規則: typo この結果はリストのリストにであり→この結果はリストのリストであり
• 17:422016年1月17日 (日) 17:42 差分 履歴 +3 Haskell/圏論 →例: 冪集合関手もモナドである: 文脈的に集合の元(げん)とまぎらわしいため、元→もと　とひらがなにした。
• 17:342016年1月17日 (日) 17:34 差分 履歴 0 M Haskell/圏論 →例: 冪集合関手もモナドである: typo 次にように→次のように