ImageMagickでアニメーションgifを扱う
よく忘れるのでメモ。 最適化されたアニメーションgif画像を連番pngへ変換 ~$ convert -coalesce hoge.gif %02d.png pngファイルを最適化しながら8コマ単...
8
8
Comment0
27 search resultsShowing 1~20 results
Stocked
You need to log-in
「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」
モナドは $\mathcal{C}$を圏とする. 組$(T,\eta,\mu)$が$\mathcal{C}$上の モナド とは, 関手$T:\mathcal{C} \to \mathcal{C}...
103
85
Comment1
Isabelle入門の入門
最近Isabelle始めたばかりなので, 初心者的な視点からIsabelle入門以前の話をします. この記事を読んでIsabelleに興味を持たれたら, 是非公式turtorialからIsabe...
49
44
Comment0
Haskellと随伴
随伴 随伴というのは2つの関手の関係のことです. $ F : \mathcal{C} \to \mathcal{D} $, $ G : \mathcal{D} \to \mathcal{C} $...
43
47
Comment0
GHC.TypeLitsと型レベルFizzBuzz
base-4.7からGHC.TypeLitsモジュールが強化され、型レベル自然数はより扱いやすくなった。 これを使って型レベルFizzBuzzを実装しようという話。 実行例 以下のような挙動を示...
24
19
Comment1
Haskell競技プログラミング入門
最近HaskellでAtCoderとかProject Eulerとか解いたりして学んだことのまとめ。 入出力 入力の形式はだいたい決まっているのでいつもこれを書く。 import Control...
84
75
Comment4
PythonのDict圏
Pythonは辞書(dict)ってのを使っているけど、キーが文字列じゃないのに辞書というのはちょびっと違うかも、という気が少しするけど、Hashよりは圧倒的にましだと思う。値群とキー群の格元の対...
6
7
Comment0
親と子の関係を表現するLookAtパターン
続編：LookAtパターン・改 Haskellにおけるデザインパターンを紹介します。 前回は Autonomieパターン を紹介しました。今回はこれと合わせて(自分が)よく使う親と子の関係を表す...
4
4
Comment0
LookAtパターン・改
親と子の関係を表現するLookAtパターンの続きです。 前回のコードはlensを使うことを前提にすればもっとずっとすっきり書くことが出来ます。(その分柔軟性がなくなります) {-# LANGUA...
0
0
Comment0
Re:haskellの数値のなんか
haskellの数値のなんかを自分なりに考えてみた。 思いついたやり方は2つ。 Doubleが最も上の階層にあることを利用する方法 IntegerもRationalもDoubleにできるのでこれ...
1
0
Comment2
Haskellでマルチスレッド処理
Control.Concurrentを使うとHaskellでもマルチスレッド処理ができます。 よく使う函数は(多分)以下の通り。 forkIO :: IO () -> IO ThreadI...
21
19
Comment0
extensible-effectsのReader, Writer, Stateを試してみる
最近話題になっていたextensible-effectsですが、少しだけ触ってみたのでサンプルとして置いておきます。 すごくざっくりいうと、本来ならモナド変換子が入れ子になるようなデータを上手く...
11
9
Comment0
可換環論における種々の反例
これは Mathematics Advent Calendar 2013 18日目の記事です. 定理の証明とかやりません. 可換環論やってて個人的に良いと思った例と反例を紹介します. 思ったより...
5
5
Comment0
同じ型を持つオブジェクトの実装を変えられるようにしたい
自律機能を備えたAutonomie Characterを生成するときにどうやって動くか(runAuto の実装)を選ぶことができる キャラクタによってmoveの実装をわけたいときなどに便利(おそ...
1
1
Comment0
GCがパフォーマンス低下を引き起こす？
動機 Haskellでゲームを作っていたらGCのせい(?)でやたらとupdate処理が遅くなりました。 何が原因か分からず、色んなモナドなどを使った時にパフォーマンスにどれだけ影響が出るのかを調...
8
8
Comment3
a()とa.__call__()は等価ではない
タイトル通りです、知らなかったので自分用にメモ。 a.__call__() と a() は、オーバーライドしてみると実は__挙動が違う__ということが分かる。 a() は正確には type(a)...
22
19
Comment0
free-gameで円を描く！
@fumieval さんのお作りになった free-game(http://hackage.haskell.org/package/free-game) というGUIを扱うパッケージの(骨組み)...
2
2
Comment0
Haskellで文字列フォーマット
Haskellで文字列フォーマットがしたくなる時があります。 例えばPythonでは、 "{0},{1}".format(a,b) のようにして、タプルのn番目を {n} と書くと文字列中で展開...
9
8
Comment0
数独ソルバー
数独ソルバー作りました。 今は各数字からの影響を考えて1通りに決まるところを決定することしかできません。 (仮定のいるものなどは解けない) とりあえず簡単な問題ならこれで解けるようになりました。...
2
2
Comment0
準クォートとTemplate Haskell
TemplateHaskellとか準クォートに興味があったので触ってみました。 型プログラミングの手助けになるモジュールを作ってみたいな、と思いつつ今回はとりあえず型の表示をさせてみることにしま...
3
1
Comment0
27 search resultsShowing 1~20 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