浮動小数点数オタクがM1 Macを触ってみた
どうも、浮動小数点数オタクのmod_poppoです。 去年はMacのCPUがx86からArm (Apple Silicon)へ移行することが発表され、実際にApple M1搭載のハードウェアが発...
65
39
Comment0
65 search resultsShowing 1~20 results
Stocked
You need to log-in
浮動小数点数の足し算と掛け算は可換か
読むのが面倒な人向けの結論：可換です。 「可換です」以外の答えを知りたい人はこの記事を最後まで読んでください。 結合法則と交換法則 実数の足し算や掛け算については結合法則 $x+(y+z)=(x...
112
58
Comment5
decimal型（十進小数）に夢を見ている輩が多すぎる
よく二進浮動小数点数の問題として、 > 0.1 + 0.1 + 0.1 0.30000000000000004 > 0.1 + 0.1 + 0.1 === 0.3 false だとか...
372
193
Comment26
どういう時に型注釈を書くか
最近のプログラミング言語は何らかの型推論を搭載したものが多いです。しかし、型推論も万能ではなく、ところどころで型注釈を書かないとコンパイルが通らない、あるいは意図せず any 型になってしまう、...
28
12
Comment0
Raspberry PiでAArch64なGHCを動かす
2023年の時点で、GHCupはAArch64 Linuxに対応しています。StackはGHCup経由で入ります。詳しくは以下の記事を参照してください： Haskellの環境構築2023 最近の...
2
4
Comment1
Mastodon向け簡易シェアボタン
この記事の手法は2023年4月現在、使えなくなっています（Mastodon側での registerProtocolHandler の使用が無効化された）。関連issue: Use web-bas...
10
6
Comment0
JavaScriptの上限・限界値
JavaScriptの文字列や配列は最長でどこまで格納できるか、気にしたことはありますか？関数は何個まで引数を取れるのでしょうか？ブロックのネストは何段まで？ この記事では、そんな素朴な疑問に答...
140
77
Comment0
PyTorchがApple SiliconのGPUを使えるようになるらしいので試してみた
PyTorchの次期バージョン（v1.12）がApple Silicon MacのGPUを使って学習を行えるようになるというアナウンスが出ました。プレビュー版は既に利用可能になっています。 In...
26
18
Comment0
GHCの型レベル自然数を理解する
Haskellの多相型システムでは、型をパラメーターとして取る型を定義することができる。この拡張として、GHC拡張の型レベル自然数を使うと、自然数をパラメーターとしてとる型を定義することができる...
42
28
Comment1
Apple Silicon MacでのHaskell/GHCの現状・2022年3月編
この記事は Haskell Advent Calendar 2021 の21日目の記事です。 2020年に発表されたApple Silicon (Arm) Macは、2021年に新チップ “M1...
29
8
Comment10
Apple Silicon MacにGHC/cabalを入れるメモ
新しい記事を書いたので、そちらをご覧ください： Apple Silicon MacでのHaskell/GHCの現状・2021年末編
3
0
Comment0
浮動小数点数の比較について
浮動小数点数の比較についてまとめます。 浮動小数点数同士の（大小）関係 普通の実数 $x$ と $y$ の間には、 $x$ が $y$ より小さい (less than): $x<y$ 等...
4
1
Comment0
「関数型プログラミングが『銀の弾丸』であるという非常識な常識2022」の感想
Ken Okabe氏による 関数型プログラミングが『銀の弾丸』であるという非常識な常識2022 https://kentutorialbook.github.io/functionalprogr...
92
62
Comment21
Lua 5.3以降の整数型
Lua 5.3の新機能として、整数型があります。Lua 5.2まではLuaの数値は全て浮動小数点数（デフォルトでは幅64ビット・精度53ビットの倍精度）でしたが、Lua 5.3以降での数値は浮動...
0
0
Comment0
Apple Silicon MacでGHC masterをビルドするメモ
この記事は元々arm64-apple-darwin向けの公式バイナリーが出る前に書かれたが、2021年8月現在の状況を反映して大幅に書き換えられた。古い話（Rosetta 2を使ったbootst...
9
2
Comment0
FMA (fused multiply-add) の話
この記事では融合積和 (fused multiply-add; 以下もっぱら FMA) について扱います。 この記事は元々「その辺で提供されている fma 関数の実装が正しいかチェックしてみた」...
74
44
Comment4
C言語で四倍精度浮動小数点数 (binary128) を使う
C言語で精度113ビットの四倍精度浮動小数点型を使う話をします。 浮動小数点数の規格（IEEE 754） プログラミング言語の規格（C言語） 実際の言語処理系（GCC, Clang） アーキテク...
32
24
Comment0
Metal Performance Shadersで行列乗算
Metal Performance Shadersで行列乗算 Metal Performance Shadersというやつを使うと行列演算等をApple製品のGPUで行えるらしいです。というわけ...
3
3
Comment0
HaskellからBLASを叩く
Haskellで（数値的な、でかい）行列を扱うライブラリーとしては hmatrix がありますが、諸事情から hmatrix を避けたい場合があります。 諸事情の例： インターフェースに癖がある...
3
1
Comment0
Haskell/GHCでの浮動小数点数の扱い
Haskell/GHCでの浮動小数点数の扱いを見ていきます。 浮動小数点数特有の落とし穴や、Haskell/GHC特有の落とし穴（バグ）にも若干触れます。 型 Haskell標準で規定されている...
13
2
Comment0
65 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