Lean Theorem Prover で State モナド
[2016/12/11 追記] 以下の記述は lean2 のものです。lean3 では動きません。 [/追記] 今回は Stateモナドに挑戦してみる。 Stateモナドは直積型を使うので、da...
0
0
Comment0
19 search resultsShowing 1~19 results
Stocked
You need to log-in
Lean Theorem Prover で List モナド
[2016/12/11 追記] 以下の記述は lean2 のものです。lean3 では動きません。 [/追記] 今回はListモナドに挑戦してみる。 まず、listを使うためdata.listモ...
0
0
Comment0
Lean Theorem Prover で 継続モナド
[2016/12/11 追記] 以下の記述は lean2 のものです。lean3 では動きません。 [/追記] 今回は継続モナドの証明に挑戦してみる。 monad2.lean structure...
0
0
Comment0
Lean Theorem Prover で Maybe モナド
Lean Theorem Prover で Maybe モナドを作ってみる。 [2016/12/11 追記]下記はlean2の場合。[/追記] その前にセットアップ関連のメモ。私は Window...
2
1
Comment0
min-plus半環 in PowerShell
コンピュータは「掛け算は足し算とする」を理解できるか - 檜山正幸のキマイラ飼育記 で解説されている min-plus半環をPowerShellで実現してみようと。 といっても、キモはほとんどC...
0
0
Comment0
Visual Studio Code でConsolasに含まれない文字をメイリオにする方法のメモ
settings.json で次のように設定する。 "editor.fontFamily": "Consolas,Meiryo"
10
9
Comment0
F#でPowerShellのカスタムコマンドレットを作ってみた
まずは参照設定。 System.Management.Automation.dll はGACから。 System.Configuration.Install はVisual Studio の参照...
8
9
Comment0
【F#】Seq.pairwise
F# の Seq.pairwise は良いですね。 pairwise は zip を使って次のように実装することもできますが、 let pairwiseByZip x = Seq.zip x (...
0
0
Comment0
【F#】Seq.unfold と Regex
Seq.unfold の使い方がちょっと理解できたのでメモ。 今回 unfold を利用したのは、ある文字列 str から Regex でマッチした部分文字列とその前にある（前のマッチ以降の）部...
4
3
Comment0
F#である範囲の特定行を範囲ごとにグルーピングする
ログやソースコードのようなテキストファイルから、ある特定の形式の行を開始行、別の特定の形式行を終了行としてその間の範囲で特定の形式の行（複数行）を範囲ごとにグルーピングして取得したいことがたまに...
2
2
Comment0
さらにF#でhistomorphism/futumorphism
前回および前々回の投稿に引き続いて。 正直問題ないのかよく分かりませんな。具体例を当てはめてやらないとダメですね。 // 前回および前々回の定義を前提としています。 type ProdF<...
0
0
Comment0
F#でcatamorphism/anamorhphism
[F#] おーおーふぁんくたでFunctorをオブジェクトで実現するのを見て、その方向でcategorical programming with inductive and coinductiv...
0
0
Comment0
ついでにF#でparamorphism/apomorphism
前回の投稿に続いて。相変わらず応用先は不明。 // 前回の定義を前提としています。 let rec ana phi x = let z : F<'c> = (x |> phi...
1
1
Comment0
F#でZ3
F#からSMTソルバのz3を使ってみようと思った。 4-queens puzzle using z3-haskell HEAD と同じような書き方ができるかちょっと実験。 open Micros...
2
1
Comment0
TeXの数式記号とUnicodeのマッピング（途中）
TEX WikiのTeX入門/複雑な数式で紹介されている「数式記号一覧」にのっている記号がどこまでUnicodeでマッピング可能かを調べてみる。 ※この投稿は少しずつ内容を増やしていく。 記号 ...
37
26
Comment2
Enumerable.Pairwise
ここでPairwiseは、 1,2,3,... のようなシーケンスに対して、隣り合う2つを組にして (1,2),(2,3),(3,4),... というシーケンスを返す関数のことです。 これは.N...
4
6
Comment0
ObserveOnDispatcherの呼び出し場所に対する検証
前の投稿で var o = Observable.FromEvent<FileSystemEventHandler, FileSystemEventArgs>( a => (o...
0
1
Comment0
Rxを使ってファイルが変更されたタイミングでWPF画面に反映する
public partial class MainWindow : Window { private FileSystemWatcher watcher; private IDisposable...
7
8
Comment0
Haskellで文字列のリストを出力する
文字列のリスト(strList :: [String])を出力するとき mapM_ putStrLn strList 文字列のリストのリスト(strListList :: [[String]])...
3
2
Comment0
19 search resultsShowing 1~19 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