Proto3 Language Guide（和訳）
これはなに Protocol Buffers バージョン３の Language Guide の訳がありそうで見つからなかったので訳した． 原文：https://developers.google...
246
153
Comment0
12 search resultsShowing 1~12 results
Stocked
You need to log-in
アルゴリズムイントロダクション 第 3 版 正誤表 (翻訳)
アルゴリズムイントロダクション 第 3 版 総合版の日本語版の正誤表が見つからなかったのでとりあえず原著のエラーリスト ([Author Errata Page] (http://www.cs....
18
20
Comment4
Haskell でノベルゲームスクリプトのようなものを作る
Haskell でノベルゲームのスクリプトのようなものを作ることを考えます． 素朴に考える まず，簡単のため text と line という 2 つの命令を考えます． text は 1 つの文字...
27
27
Comment2
Haskell 上で簡単なプログラミング言語を作る
Haskell 上で，モナド等を使わず素朴にプログラミング言語を作ってみます． 構文規則 このプログラミング言語には，"変数"，"定数"，"式", "文" が存在するとしましょう． 変数 変数は...
32
31
Comment0
多価関数と Category
Control.Category モジュールを用いて多価函数1 の合成について考えてみます． 余力があればより有用な Control.Arrow モジュールについて見ていきたいです． GHC, ...
36
34
Comment0
GHC 拡張を使って直積っぽい型の表記とかしてみる
型族とかよくわからないから少し勉強した． ※ GHC 7.8.1 から追加された機能を用いています． 直積 二つの集合 $A$, $B$ に対し， A \times B = \{(a, b) \...
21
20
Comment1
論理演算の型クラス
全ての論理演算は否定論理和 (NOR) あるいは否定論理積 (NAND) のみで表現することが出来る．そのため，nor と nand 以外の函数は全てデフォルト実装がつくれる．nor から na...
3
5
Comment0
Haskell でミーリマシン (Mealy Machine)
Auto アローについて調べていたらとてもわかりやすい Auto についての記事を見つけたのでその紹介と， Auto 型に慣れるために Mealy machine を実装してみたのでメモ． In...
2
3
Comment0
Category から Arrow へ
(>>=) を (>=>) に書き換える ← 前の記事 今まで使ってきた Category 型クラスを強化した， Arrow 型クラスについて見ていきます． ※この記事は...
11
12
Comment1
Arrow を理解する (まとめ)
頭が悪くてずっと理解できなかった Haskell の Arrow をこのたびやっと理解し始めたので，その過程をまとめました． Arrow について勉強したい人の理解の一助になればと思います． 多...
17
22
Comment0
(>>=) を (>=>) に書き換える
綱渡りと Category (と，Kleisli) ← 前の記事 今回は少しカテゴリーの話から離れて，モナドの bind 演算子 (>>=) を (>=>) に書き換える...
13
12
Comment0
綱渡りと Category (と，Kleisli)
多価関数と Category ← 前の記事 前回に引き続き Category 型クラスについて考えていきます． 「失敗するかもしれない計算」が Category であることを示し，前回作った N...
28
21
Comment4
12 search resultsShowing 1~12 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles