IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

Haskellの環境構築2020

この記事が一番簡単でした。 qiita.com qiita.com

楽天モバイル外で買ったOPPO A5 2020ではRakuten-UN-LIMITで楽天回線が使えなかった

久しぶり(いつもの通り?)に情弱ぶりを発揮してしまいました。 家電量販店で、楽天担当の販売員と対面で、申込み(正式契約の前の申し込み)をしたのですが、その時に、販売員からスマフォの確認があって、手元のOPPO A5 2020を見せたら、大丈夫ですねって…

OPPO A5 2020 がある、楽天以外で入手する。 ここでSIMだけ申し込む 楽天モバイルのトップページ -> 下にスクロールすると機種の情報がある 製品ラインアップ -> 詳細を見るのリンク OPPO A5 2020 がある SIMカードを入れ替えてご利用できる製品のリンクがあ…

楽天モバイルのトップページ -> 下にスクロールすると機種の情報がある 製品ラインアップ -> 詳細を見るのリンク OPPO A5 2020 がある SIMカードを入れ替えてご利用できる製品のリンクがある 「SIMカード代金は発生しません。」って何が言いたいんだろうか?…

hylomorphismでquick sort

hylomorphism.hs

関数合成と関数適用の練習

f g g . f g f 補足 1 a -> b c -> d a -> c d 2 a -> b -> c d -> e -> f a -> e -> f e -> f 3 a -> (b -> c) d -> e -> f 2と同じ 4 (a -> b) -> c d -> e -> f (a -> b) -> e -> f e -> f 5 a -> b -> c d -> (e -> f) a -> e -> f e -> f 6 a -> b -> c…

フェルマーの小定理(P=11)

フェルマーの小定理 - Wikipedia n 0 1 2 3 4 5 6 7 8 9 10 n2 0 1 4 9 5 3 3 5 9 4 1 n3 0 1 8 5 9 4 7 2 6 3 10 n4 0 1 5 4 3 9 9 3 4 5 1 n5 0 1 10 1 1 1 10 10 10 1 10 n6 0 1 9 3 4 5 5 4 3 9 1 n7 0 1 7 9 5 3 8 6 2 4 10 n8 0 1 3 5 9 4 4 9 5 3 1 n…

lengthを使わないでリストを2分割する

リストを2分割する方法 対象となる配列をコピーして(a)と(b)として2つ用意する。 以下の(a),(b)を繰り返し処理する。 (a)1つ目は先頭の要素を取得してしてconsする。残りを次の繰り返しのインプットにする。 (b)2つ目は先頭と次の要素を取得して捨てる。残…

Choiceを理解するために

http://hackage.haskell.org/package/profunctors-5.5/docs/src/Data.Profunctor.Choice.html#Choice (->)はChoiceのインスタンスなので、 > left' chr (Left 65) Left 'A' > left' chr (Right 65) Right 65 > right' chr (Left 65) Left 65 > right' chr (R…

Star (a.k.a UpStar) の理解のために

むかしはUpStar/DonwStarといっていたが、最新ではStar/CoStarとなっている。 http://hackage.haskell.org/package/profunctors-5.5.1/docs/src/Data.Profunctor.Types.html#Star Lift a 'Functor' into a 'Profunctor' (forwards). なんて書いてあります。F…

Applicativeの使い方

Functor: コンテキスト中で1パラメータの関数を適用する。 (a -> b) -> f a -> f b Applicative: コンテキスト中で2パラメータの関数を適用する。(実際はFunctorと一緒に使う) (a -> b -> c) -> f a -> f b -> f c > :t (<$>) (<$>) :: Functor f => (a ->…

Windows環境にpcre-lightをインストールで嵌る

Windows環境のHaskellで正規表現ライブラリを利用したかったので、prce-lightをインストールしようとしたら、嵌ってしまいました。 まさに、このRedditで書かれていることと同じエラーでした。 Configuring pcre-light-0.4.0.4...Cabal-simple_Z6RU0evB_2.4.…

HTMLのテーブルの転置

テーブルの転置 ソース Edit fiddle - JSFiddle 参考 https://stackoverflow.com/questions/24911998/how-to-transpose-an-html-table

WordPressを触ってみた

WordPressの本家サイト。 wordpress.org 参考書籍 1章が簡単に歴史がまとまっていて参考になります。4章にPHPプログラミングがあって、入門書のようにも思えますが、5章はAWSでスケーラブルなWordPressと、6章にWordPressユーザのためのNgnix入門などのイン…

Qiitaに投稿してみた

qiita.com 感想 プレビュー画面があって、わかりやすいのですが、横幅の広いディスプレーが必要だと感じました。 横幅の広いディスプレイが必要

jsiiの仕組みの確認

aws

github.com Node.Js上でサーバが立ち上がり、クライアントのJavaと、JSONを用いたプロセス間通信をする。 Client : Java Server : javascript > node jsii-runtime.js JsiiRuntimet.java <-- STDIN/STDOUT protocol --> jsii-runtime.js --> jsii-kernel.js …

Yoneda Lemma

A Neighborhood of Infinity: Reverse Engineering Machines with the Yoneda Lemma Yoneda Intuition from Humble Beginnings · GitHub Understanding Yoneda | Bartosz Milewski's Programming Cafe 米田の補題と自然変換 | math_pdf 米田の補題をリストで…

設定ファイルを読み込むstack ghciの起動

いつもstack ghciで起動した後に手で``:set prompt " > "をしていました。これを起動時に自動的に実行したかったのですが、やり方がわかりませんでした。 PS C:\Users\User\haskell\> stack ghci Using main module: 1. Package `RS' component exe:RS-exe w…

polymorphism

種類 内容 実装 Haskell parametric すべての型に対して成立する 実装が同じ type variable ad-hoc 一部の型に対して成立する 成立させる型ごとに実装が異なる type class

Fix, Free, Cofree

def embed project note data Fix f = Fix (f (Fix f )) fix unFix data Free f a = Free (f (Free f a)) | Pure a free unFreenot total sum data Cofree f a = Cofree a (f (Cofree f a) cofreenot total unCofree product

PowerPointで選択したテキストの情報をスライドタイトルも含めてクリップボードに入れるマクロ

Public Sub getSelectedTextInfo() Dim s As PowerPoint.Slide Set s = GetActiveSlide() If s Is Nothing Then Debug.Print "アクティブなスライドを取得できません。", vbCritical + vbSystemModal Else putCB ("スライドタイトル / 内容 = " & s.Shapes.T…

選択したセルの情報をクリップボードに張り付けるエクセルマクロ

vba

選択したセルの、ブック名、シート名、セルの位置とセル自体の値をクリップボードに設定するマクロ(getActiveCellValueCB1プロシージャ) Sub getCurrentSheetNameCB() putCB getCurrentSheetName() End Sub Sub getActiveCellRowColCB() putCB getActiveCell…

powershellでjpgをpngに変換する

stackoverflow.com これをjpgとpngを逆にするだけ。 $files = Get-ChildItem "C:\Users\User\Pictures\Saved Pictures\wk" -Filter *.jpg -file -Recurse | foreach-object { $Source = $_.FullName $test = [System.IO.Path]::GetDirectoryName($source) $b…

シベリア抑留者慰霊碑を訪れる

Maximを使って帰りに空港による途中で訪れるとよいです。 注意点は、Maximのドライバーも正確な場所は知らないと思うので、出発前に、場所を地図アプリを使って、ドライバーに立ち寄る位置を理解してもらったほうが良いです。

Windows環境でhsexifを使う

hackage.haskell.org hsexifパッケージを利用しようとしたらインストールに失敗しました。hsexifが依存しているiconvのヘッダとライブラリがないためでした。 解決方法は以下のブログの記事にありました。 [https://kakkun61.hatenablog.com/entry/2018/11/1…

Burrows-Wheeler Transformの本人降臨動画

www.youtube.com McAnlis:どうやって思いついたんですか? Burrows:わかりません。 McAnlis:アルゴリズムの応用で一番すごいと思うことは。 Burrows:DNA解析への応用です。 editor:論文投稿リジェクトしたよ。 Burrows:なんでリジェクトされたんですか…

最短パスの歴史

https://www.ukuug.org/events/agm2010/ShortestPath.pdf

Log2

input output 0 -Infinity 1 0.0 2 1.0 3 1.5849625007211563 4 2.0 5 2.321928094887362 6 2.584962500721156 7 2.807354922057604 8 3.0 9 3.1699250014423126 10 3.3219280948873626 11 3.4594316186372978 12 3.5849625007211565 13 3.700439718141092 1…

Haskellでお手軽お絵かき

CodeWordで手軽にお絵かきができます code.world Haskell Code モード ブロックモード

Vimでカーソルキーを使いたくなる時

vim

Ctrl+v -> j -> Shift+i のパターンで、今処理した場所と、別の場所で同じことをするとき。