Advertisement · 728 × 90

Posts by mod_poppo

Preview
浮動小数点演算の丸めモードを関数型言語から制御するためのそれなりに冴えたやり方

書いた / 浮動小数点演算の丸めモードを関数型言語から制御するためのそれなりに冴えたやり方 zenn.dev/mod_poppo/ar...

3 weeks ago 2 0 0 0
SpacemiT K3が気になる:情報収集 | 雑記帳

書いた / SpacemiT K3が気になる:情報収集 blog.miz-ar.info/2026/03/spac...

1 month ago 3 0 0 0
UPS(無停電電源装置)を買った | 雑記帳

ブログ更新した / UPS(無停電電源装置)を買った blog.miz-ar.info/2026/03/brea...

1 month ago 4 0 0 0

修正しました。ありがとうございます!

1 month ago 1 0 0 0
ネイティブコンパイルする言語はSIMDを扱えるのが当たり前の世の中になった/SIMDの難しさ | 雑記帳

ブログ更新した / ネイティブコンパイルする言語はSIMDを扱えるのが当たり前の世の中になった/SIMDの難しさ blog.miz-ar.info/2026/02/nati...

1 month ago 3 0 1 0
スマホからClaude Codeを使う環境を整える | 雑記帳

書いた / スマホからClaude Codeを使う環境を整える blog.miz-ar.info/2026/02/clau...

2 months ago 4 0 1 0
iPad Air(13インチ)を買った | 雑記帳

ブログ更新した / iPad Air(13インチ)を買った blog.miz-ar.info/2026/02/ipad...

2 months ago 0 0 0 0
Preview
IEEE 754-2019のmin/max命令とx86のmin/max命令の関係を考える

書いた / IEEE 754-2019のmin/max命令とx86のmin/max命令の関係を考える zenn.dev/mod_poppo/ar...

2 months ago 3 0 0 0
Advertisement
Preview
n月刊ラムダノート「特集:計算とは何か」発行のお知らせ いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート 「特集:計算とは何か」Vol.6 No.1』の発売開始のお知らせです。本号は「計算とは何か」をテーマにした以下の5つの記事でお送りします。 計算パラダイムの対立軸を揺さぶる微分可能論理ゲートとLLM+定理証明、そしてメタパラダイムたる自然計算の世界へといざなう「計算の2つのパラダイムシフトから自然計算へ」(萩...

新刊を発売したので宣伝です。第一線の研究者の方々に「計算とは?」というテーマで記事を書いてもらうという、企画者としては初心にもどって取り組んだ一冊ができました。この一冊に出てくる話題をすべて知っているという人はあまりいないのではないかという貴重でとても楽しい(計算というものに興味がある人にとっては)一冊になっていると思います。今号はn月刊ラムダノートとしてはじめて書店(大都市圏の一部)にも置いてもらえる見込みですので、「これまでn月刊ラムダノートを見たことない」という方もぜひ! www.lambdanote.com/blogs/news/n-3

2 months ago 31 21 0 2
Preview
不動点コンビネータと無名再帰 - 芳賀 雅樹 のページ 不動点コンビネータと実践的な示唆について紹介します.

書いた
silasol.la/posts/2026-0...

3 months ago 7 3 0 1
AI時代のプログラミング言語のあり方を考える | 雑記帳

駄文を書いた / AI時代のプログラミング言語のあり方を考える blog.miz-ar.info/2026/01/prog...

3 months ago 3 1 0 0
関数に色をつけるべきか:LunarMLの場合 | 雑記帳

ブログ更新した / 関数に色をつけるべきか:LunarMLの場合 blog.miz-ar.info/2026/01/luna...

3 months ago 6 0 0 0
2025年振り返りと来年に向けて | 雑記帳

ブログ更新した / 2025年振り返りと来年に向けて blog.miz-ar.info/2025/12/look...

3 months ago 1 0 0 0
GHCへの私の貢献2025 | 雑記帳

ブログ更新した / GHCへの私の貢献2025 blog.miz-ar.info/2025/12/my-c...

3 months ago 1 0 0 0
LunarMLの進捗2025 | 雑記帳

ブログ更新した / LunarMLの進捗2025 blog.miz-ar.info/2025/12/luna...

3 months ago 1 0 0 0
Advertisement
Preview
Lua 5.5を触ってみる - Qiita この記事は「Lua Advent Calendar 2025」の25日目の記事です。 2025年12月22日に、Luaの最新のメジャーバージョンである5.5.0がリリースされました。この記事では、Lua 5.5の新機能をいくつか触ってみます。詳しいことは公式マニュアル類を参...

書きました / Lua 5.5を触ってみる qiita.com/mod_poppo/it...

3 months ago 3 2 0 0
Mac miniに外付けSSDをつける | 雑記帳

ブログ更新した / Mac miniに外付けSSDをつける blog.miz-ar.info/2025/12/mac-...

4 months ago 1 0 0 0
新しいNASを買った | 雑記帳

ブログ更新した / 新しいNASを買った blog.miz-ar.info/2025/12/nas/

4 months ago 2 0 0 0
Preview
標準ライブラリーが提供する数学関数はどのくらい正確か、あるいはどの程度環境依存するのか

書きました / 標準ライブラリーが提供する数学関数はどのくらい正確か、あるいはどの程度環境依存するのか zenn.dev/mod_poppo/ar...

4 months ago 7 1 0 0
シンガポール日記 | 雑記帳

ブログ更新した / シンガポール日記 blog.miz-ar.info/2025/12/sing...

4 months ago 0 0 0 0
Preview
アスタリスクはもう古い!?モダンC言語でのポインター型の記法

書いた / アスタリスクはもう古い!?モダンC言語でのポインター型の記法 zenn.dev/mod_poppo/ar...

4 months ago 2 0 0 0
LunarMLでのUnicode文字列の扱い/文字列型はいくつ用意すれば十分か | 雑記帳

ブログ更新した / LunarMLでのUnicode文字列の扱い/文字列型はいくつ用意すれば十分か blog.miz-ar.info/2025/12/luna...

4 months ago 2 0 0 0
Preview
Luaをコンパイル先とする言語処理系を作る際のTips

書きました / Luaをコンパイル先とする言語処理系を作る際のTips zenn.dev/mod_poppo/ar...

4 months ago 3 1 0 0
Advertisement
Preview
新しくプログラミング言語を作る際に文字列型をどうするべきか

書きました / 新しくプログラミング言語を作る際に文字列型をどうするべきか zenn.dev/mod_poppo/ar... 推敲の時間が十分取れてなくてグダグダになっているかもしれませんが、ご容赦ください

4 months ago 6 1 0 0

ツイッターを見ていると、昔は学術の話をしていた人が、今では(政治あるいは政治家に対する)憎悪の塊みたいになってしまっているのが観測されて、辛い。政治が悪いのか

5 months ago 5 0 0 0
初めての海外(シンガポール)・準備編 | 雑記帳

ブログ更新した / 初めての海外(シンガポール)・準備編 blog.miz-ar.info/2025/11/prep...

5 months ago 1 0 0 0
ML Family WorkshopでLunarMLについて発表した | 雑記帳

ブログ更新した / ML Family WorkshopでLunarMLについて発表した blog.miz-ar.info/2025/11/mlwo...

5 months ago 3 1 0 0
Preview
「三項演算子」の名前に値する演算は条件演算子以外にあるか:アセンブリー言語の観点から

書いた / 「三項演算子」の名前に値する演算は条件演算子以外にあるか:アセンブリー言語の観点から zenn.dev/mod_poppo/ar...

5 months ago 1 0 0 0

ありがとうございます!!!

5 months ago 1 0 0 0
子供が生まれた/後進を育成すること | 雑記帳

ブログ更新した / 子供が生まれた/後進を育成すること blog.miz-ar.info/2025/10/baby/

5 months ago 7 0 1 0