2024-01-01から1年間の記事一覧

備忘録:正規表現

これは、たまに正規表現を使うけどすぐ忘れてしまう人のメモです。 正規表現の基本については下記の記事を参照。 忘れがちなメタ文字6つ 他言語からの類推が働かず、どれがどれか忘れがちなメタ文字は以下の6つ。 無理やり語呂合わせでおぼえることにする。 …

Haskellのモナドいろいろ (まとめ)

記事一覧 Haskellのモナドいろいろ (1) - 滴了庵日録 Haskellのモナドいろいろ (2) - 滴了庵日録 Haskellのモナドいろいろ (3) - 滴了庵日録 Haskellのモナドいろいろ (4) - 滴了庵日録 分類 上記の記事で述べた8つのモナドは、2種類に分類できる。 失敗系:…

Haskellのモナドいろいろ (4)

Readerモナド Writerモナド Readerモナド Readerモナドは、読み取り専用のStateモナドのようなものである。 Stateモナドはグローバル変数のようなものとして利用できたが、 Readerモナドはグローバル定数のようなものとして利用できる。 Stateモナドでは状態…

Haskellのモナドいろいろ (3)

Stateモナド Stateモナド STモナドは runST で値のみを取り出せたが、Stateモナドは状態も取り出せる。値と状態を取り出すには runState を、値のみを取り出すには evalState を、状態のみを取り出すには execState を用いる。前の記事でSTモナドで実装した …

Haskellのモナドいろいろ (2)

IOモナド STモナド IOモナド IOはもちろんモナドである。 入出力という副作用を扱うために用いられる。 main も IO () という型の変数である。 (関数ではない)モナドだから return で値を中に入れることができる。 hoge::Int -> IO Int hoge x = return x ma…

Haskellのモナドいろいろ (1)

Listモナド Maybeモナド Eitherモナド Listモナド リストもモナドである。意外なことにリストもモナドである。 リストには要素数が0個の空リストがありうる。 これは後述するMaybe や Either における失敗の表現のようなものとも言える。モナドだから return…

InnoSetupでQtアプリのインストーラ作成

やりたいこと Qtで作成したWindowsアプリのインストーラをInnoSetupで作成する。 InnoSetupのインストール 下記コマンドを実行してInnoSetupをインストールする。 (本稿執筆時点でバージョン6.2.2) winget install JRSoftware.InnoSetupWindowsのノートPCで…

メモ:Qtのプロジェクトについて

ディレクトリ構成について プロジェクト作成時に例えば上記のように設定すると、ディレクトリ構成は下記のようになる。 ソースディレクトリと同じ階層にビルドディレクトリができることに注意。 hoge ├─ piyo : ソースディレクトリ (プロジェクトファイルや…

PAGEでPython/TkのGUIデザイン

やりたいこと Pythonで簡単なGUIアプリを作りたい。 PythonのGUIツールキットとしては、Tkinterが標準で付属している。 Tkinterは、TkをPythonから使えるようにしたもの。 Tkは古めかしいGUIツールキットだが、簡単なGUIで見た目を気にしないならじゅうぶん…

多角形に関する計算

ソース全文はこちら → 多角形に関する計算 · GitHub 凸多角形か判定 # 凸多角形か判定 def isConvex(polygon): # n角形 n = len(polygon) # 時計回りまたは反時計回りで、隣接する辺のベクトルのクロス積がすべて同符号なら凸多角形 cp0 = 0 for i in range(…

金田一耕助と浅見光彦を隔てるもの

「開発は、進むほど湖を汚したんですねえ。」 「今だから言えることです。貧しさから豊かさに向かうとき、日本じゅう政治も一人一人の暮らしも、豊かさを求めたでしょう。」 『琵琶湖周航殺人歌』(1990年, 水谷豊版「浅見光彦ミステリー8」より) 金田一耕助…

強者の論理について

大河ドラマ『花の乱』(1994年)・第23回「密命」より 畠山義就「三郎、ここがどこだか分かるか?」 伊吹三郎「右衛門佐殿(畠山義就)の陣屋と心得まするが?」 畠山義就「たしかにわしの陣屋だが、つい先ごろまでは上皇様がお住まいあそばされていた仙洞御所だ…

アフィン変換とホモグラフィ変換

アフィン変換とホモグラフィ変換とは? アフィン変換について ホモグラフィ変換 (射影変換) について ホモグラフィ変換の特殊解を解析的に解く Pythonによる実装例 参考 アフィン変換とホモグラフィ変換とは? アフィン変換:正方形を任意の平行四辺形に写せ…

開発対象システム別の利用言語

いわゆるプログラミング言語ランキングみたいなやつはぜんぜん意味が無いと思っている。一口にプログラミング言語といっても、分野によって使われる言語の主流がぜんぜんちがうからだ。開発対象システム別の利用言語の比率というデータを見かけた。(これもや…

メモ:Thunderbirdでプレーンテキストのみで送信

送信テキスト形式の設定 「ツール」>「アカウント設定」>「編集とアドレス入力」>「HTML形式でメッセージを編集する」のチェックをはずす。 「ツール」>「設定」>「編集」>「送信テキスト形式」で「プレーンテキスト形式のみ」を選択 受信メールをプレ…

見捨てられゆく古典的な組込み系

【注意】これはポエムです。「PSoCのPはもはやProgrammableの意味ではない、Infineonが次世代PSoCロードマップを公開」という記事を読んで、まあそうだよなというあきらめまじりの残念な気持ちになった。PSoCはプログラマブルなアナログ/デジタル内蔵のマイ…

WindowsでRubyから呼び出せるC言語の共有ライブラリを作る

前提 RubyInstaller for Windows の Ruby+Devkit (x64) をインストールずみ C:\Ruby32-x64\msys64 に MSYS2がインストールされているものとする Clang(コンパイラ)のインストール C:\Ruby32-x64\msys64\msys2.exe のコンソールで下記のコマンドを実行 C:\Rub…

[Haskell]例の煽り文句について

「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも?」 有名な煽りだけども、言葉だけが独り歩きしてる気がする。これ、真剣に悩むようなものではない。だってただのジョークだもの。この言葉の出典は、『不完全にしておよそ正しくないプ…

[Haskell]モナド則について

モナドを使うのに圏論の知識なんて不要だし、モナド則なんか意識する必要はない、というのはその通りだと思う。ぼく自身、圏論にはあまり興味は無いし深入りする気はないのだが、Haskellの珍妙な演算子と珍妙な関数名と謎のエラーメッセージを理解してコンパ…

[Haskell]Maybeモナドまとめ

エラーが起こる関数 次の関数 fb は負数を与えるとエラーになる。 -- フィボナッチ数列 fib:: Int -> Int fib 0 = 0 fib 1 = 1 fib n | n > 1 = fib (n - 2) + fib (n - 1) main = do print $ fib 20 -- 6765 print $ fib (-1) -- エラー そこでMaybeモナド …

土地支配の変遷まとめ (古代~近世)

古代の律令国家から近世の幕藩体制へと数百年かけて社会が組み換わっていく中世の歴史は複雑怪奇。 とくに鎌倉時代はカオスすぎる。 飛鳥時代後期~奈良時代前期 奈良時代後期 平安時代 平安時代末期 鎌倉時代 室町時代 戦国時代 安土桃山時代 江戸時代

PHPの配列変数の奇妙なふるまい

【注意】非常に今さらなお話です。 【注意】な言語のなコードでも、マネーを生んでるプロダクトには敬意を払うべきです。 copy on write まず、PHPの配列変数の代入文 (や引数渡し) はシャローコピーなのかディープコピーなのか? C言語をはじめ、JavaやC#な…

上代特殊仮名遣

カ行の例 き (甲) 語例:ゆき(snow)、きみ(you)、あき(autumn)、とき(time) 万葉仮名:支、岐、伎、吉、棄、枳 き (乙) 語例:つき(moon)、きり(fog)、き(tree)、きし(shore) 万葉仮名:帰、紀、記、奇、基、幾 け (甲) 語例:けさ(this morning)、さけぶ(cr…

Haskellメモ:GHCのバージョン

状況 Windowsで、GHCupでGHCとstackほかをインストール C:\ghcup\ghc に GHC 9.4.8 と 9.6.4 がインストールされている %LOCALAPPDATA%\Programs\stack にもGHC 9.6.4 がインストールされている ghc --version だと version 9.4.8 stack ghc -- --version だ…

[Haskell]ソートアルゴリズムいろいろ

バブルソート -- 最小値を先頭に bubble [x] = [x] -- 要素1個ならそのまま bubble (x:xs) | x < y = x:y:ys -- 1個目が2個目以降の最小値より小さければ入れ替えなし | otherwise = y:x:ys -- そうでなければ1個目と2個目以降の最小値を入れ替える where (y…

Haskell備忘録

Haskell入門で最初に読むべきもの Haskell 超入門 #Haskell - Qiita ←まずこれを読んで練習問題をしっかりやる こわくないHaskell入門(初級) #Haskell - Qiita ←まあこういう考え方もある 『すごいHaskellたのしく学ぼう! 』 ←通称「すごいH本」 Haskellを…

メモ:Haskellの関数などいろいろ

リスト用の関数 length リストの要素数を返す sum リストの総和 product リストの総積 take リストの先頭 n 個を抽出 (例) take 2 [1,2,3,4,5] drop リストの先頭 n 個を落として抽出 (例) drop 2 [1,2,3,4,5] reverse リストを逆順にする map リストの全て…

[Haskell] VSCodeで開発

Haskellの開発環境の導入はGHCupで Haskellの開発環境の導入は Stackを用いる方法 と GHCupを用いる方法 があるが、VSCodeの拡張機能「Haskell for Visual Studio Code」を利用するなら GHCup を利用する。 VSCodeの拡張機能のインストール VSCodeの拡張機能…

[Haskell] GHCupのインストール

インストール 公式ページ( https://www.haskell.org/ghcup/ )にしたがい、PowerShellで下記を実行。 Set-ExecutionPolicy Bypass -Scope Process -Force;[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityP…

[Haskell] Windowsでstackのアンインストール

stackはどこにインストールされるか? C:\sr ←クソデカ C:\Users\xxxxx\AppData\Local\Programs\stack ←クソデカ C:\Users\xxxxx\AppData\Roaming\local\bin アンインストール手順 Windowsの「アプリと機能」で「Haskell Stack」を「アンインストール」 この…