とにかくヨシ！-Tonikaku Yoshi! | Japanese Meme Society

概要:
巨大データ処理で活躍したParquet＋Polarsの話から、開発環境を快適にするzoxideやStarship、そして数学の証明もできるプログラミング言語Leanまで、2026年のはじめに試した技術・ツールについて話しました。

• Apache Parquet（パルケ／パークエット）とは
• CSVとの違い（行指向 vs 列指向）
• カラムごとにデータをまとめることで、必要な列だけを高速に読み出せる構造
• Row Group／Column Chunkという単位で保存され、並列処理と相性が良い
• フッターにスキーマ（型情報）を埋め込むことで、型推定不要＆圧縮効率アップ

• ランレングス圧縮・辞書圧縮などにより、CSVよりも小さいサイズ＆高速読み込みを実現

• Parquet＋Polarsで1000万〜1400万行をさばいた話

• 1000万行のCSV処理でI/O待ちがボトルネックになり、CPUコア（32コア）が遊んでいた問題
• データをParquetに変換＋Polarsを利用することで、読み込みが約30倍高速化
• Polarsの
  • ストリーミングモード：ファイルと接続しつつ少しずつ処理
  • レイジーモード（遅延実行）：フィルタやマップをチェインして、最後に一括最適化実行
• それでも1400万行ではI/Oが張り付き、CSVでもParquetでも厳しい状況に
• 解決策：メモリを大量に積んだインスタンスを借り、ストリーミングせず全データをメモリ上でイーガー（即時）実行
  • 「金で殴る」戦略で処理が一瞬で終わるように
• データベースや分散処理（DuckDBなど）が本来向いている領域だが、制約の中でのベストプラクティスとしての選択

• CSVとParquetの使い分け（ヒューマンリーダブル vs 型付き・高速・大規模向き）、手札を増やすことの大事さ

• zoxide：次世代CDコマンド

• cdコマンドの「賢い」代替として使えるツール
• 一度訪れたディレクトリを学習し、曖昧な入力からジャンプできる
  • 例：cd doc で、どこにいても「documents」的なディレクトリに飛べる
• 深い階層や長いパスを毎回フルで打たなくてよくなる

• コマンド自体は z だが、ホストは cd にエイリアスして完全な置き換えとして使用中

• Starship：リッチなシェルプロンプト

• ターミナルのプロンプトをカラフルかつ高機能にするツール
• Gitリポジトリの状態、使用中の言語ランタイムやバージョン（例：UV管理下のPython 3.x）などを自動表示
• 見た目がきれいになるだけでなく、「今このディレクトリはどんな環境か」を一目で把握できる

• そこまで意識して凝視はしていないが、入れておくと地味に便利な存在

• Lean：数学の証明もできる関数型言語

• マイクロソフト発の定理証明支援・関数型プログラミング言語
• 数学の証明（定理・公理系の形式化）にも使われる一方、普通のプログラミング言語としても利用可能
• 現在ホストがやっていること：
  • 四則演算をする簡単な電卓プログラムをLeanで実装（パーサ付き）
  • いずれは本格的な研究にも組み込みたい構想
• 「証明」とは何か：
  • 例：ペアノの公理系で自然数を定義
  • 0があり、その「次の数（サクセッサ）」として1, 2, 3…を定義する
  • 足し算のルールなどを公理として書き、そのルールから「1+1=2」が導けることを機械的に証明
  • Leanでは、ループや再帰が「必ず停止する」と証明されないと実行できない構造もあり、無限ループを防ぐ
  • ソート関数がどんな入力でも必ず終了し、正しく並び替えることなども数学的に保証できる
• 数学・論理・型システムを通じて、「AI時代でも残る問題解決力」を鍛える道具としての側面
• かなり難易度は高めなので、未経験の人はまずHaskellから入るのが良さそう、という話

今回のポッドキャストの概要:
Replicube の話から、AIと学校教育の関係、そしてSpotify APIで集計した2025年のポッドキャスト年間レポートを振り返りつつ、来年の展望（「1200%成長」宣言）について話しました。

• Replicube と「プログラミング×パズル」教材の可能性

  • Replicube ファミ通記事
  • シェーダープログラミング的な3Dパズルとしての仕組み
  • GitHubクローンをベースにPython版を作る話
  • プログラミング教育用ゲームとしてのお題拡張のしやすさ

• AIに頼りすぎる12歳？探偵ナイトスクープの回から考えるAIと学校教育

  • AIに頼りすぎる12歳の娘…これは学校教育の崩壊なのか！？
  • 人権標語をAIで生成して賞を取った事例
  • 「AIで作っても受賞は嬉しい」という価値観ギャップ
  • 「AIばかり使うとバカになる」というステレオタイプ批判
  • 選考側（審査員）の基準・「お気持ち」に最適化するゲーム性の話
  • 学校教育がAIとどう付き合うべきか、崩壊なのか進化なのかという視点

• 2025年ポッドキャスト年間レポート振り返り（Spotify API集計）

  • 今年のエピソード数・配信ペース
    • エピソード数：28本（テスト含む）
    • 平均37分／本、最長50分・最短25分
    • 投稿間隔：平均2週間に1回前後
    • 最長の空白期間：7/13〜8/26（マット氏の北海道一周旅行期間）
  • 前半と後半の更新頻度の差
    • 1〜4月はほぼ毎週更新
    • 7〜8月は各1本、後半は仕事多忙でペースダウン
  • 今年よく話したテーマ
    • AI/LLM（Claude Code, DeepSeek, OpenAI, Gemini, MCP, エージェントなど）
    • 開発ツール（uv, ruff, pyproject.toml, Codex CLI, Ghosttyターミナルほか）
    • ハードウェア（M4 Mac、Xreal One、Apple Watch Series 10 など）
    • 3Dプリンタ（Bambu Lab）、Tauri など
  • 旅行・生活系ハイライト
    • 北海道一周＋利尻山登山（約6200km・16日間）
    • 別府・二日市温泉、有田陶器市、宮崎シーガイア など
  • 社会・経済＆交通ネタ
    • チームみらい、残クレアルファード、米価高騰
    • JR九州運賃改定、八木山バイパス有料化、西鉄バス減便、二重決済問題 など
  • クロードによるメタまとめの所感
    • 「技術だけでなく、趣味・生活・社会問題まで幅広くカバー」
    • 「DLsiteやトレンドニュースなど独自ネタ」がこの番組らしさとの指摘
    • 番組ナンバリング（Side-B形式／重複ナンバー問題）への軽いツッコミ

• リスナー統計と“尖った”リスナー像

  • Spotify for Podcasters の2024ラップ的な振り返り
  • リスナー増加率：オーディエンス数 622%、フォロワー数 600%、再生時間2倍
  • 24カ国から再生（日本、アメリカ、エクアドル、スペイン、ニュージーランドなど）
  • リスナーがよく聴いている音楽・ポッドキャストのラインナップがかなり尖っている話
  • 「少数精鋭ゆえ、統計がほぼ個人の嗜好に引きずられている説」

• 来年の番組方針と展望

  • 番組として：
    • 継続して配信は続けたい
    • 技術だけでなく、しょうもない話・雑談も意識的に入れていく構想
    • コンテンツ確保の難しさと、どうリスナーを増やすかの課題
    • noteやQiita等の外部記事からの流入も検討
    • 「九州のエンジニアがやっている技術系ポッドキャスト」としてのポジション
  • 個人として：
    • 仕事・研究でバズる → そこから番組へ流入してもらう線もアリ、という話
    • 開発スタイルがLLMで激変した一年を踏まえ、来年はさらにAI×研究・ロボティクス方面へ
  • マインド面：
    • 「怒り・貧困・嫉妬」など負の感情で尖っていた昔と違い、丸くなってきた自覚
    • 今年ややなまくら気味だった“尖り”を、来年は意識的に取り戻していく宣言
  • 数値目標：
    • 今年600%成長 → 来年は「1200%成長」でいきましょう宣言

次回もお楽しみに。

tl;dv: MacBook Pro  で俺のアルト買えるんだが...(大久保)

概要: M4搭載Macの導入（Air/Proの構成と用途）、MacでのLLM/DLワークフロー（CUDA→MPS移植、Claude Code活用）、ブラウザ/ワークスペース自動化（Claude for Chrome/Google Workspace Flows）、映画「ワーキングマン」×仕事猫、“ご安全に”の由来、ほか雑談について話しました

• M4 MacBook Air購入報告（構成/用途/外付けSSDの所感）
• M4 MacBook Pro 14"導入（128GB/4TB/ナノテクスチャ）とLLM・並列コンパイル用途
• MacでLLMを動かす工夫（CUDA前提OSSのMPS対応、CPUフォールバックの現実解）
• 開発支援：Claude Codeの使いどころ（grep/AST-grep的検索や修正提案、挙動の変化）
• Apple IDまわりの混乱と新規Macの初期設定ルーティン（Homebrew/Chrome/Safari整理など）
• Claude for Chrome（研究プレビュー）
• Google Workspace Flowsで業務自動化（PDF→要約→Sheets記入などをノーコードで）
• ワークフロー比較の雑談（n8n等との違い＝Googleサービスとの密結合、組織ポリシーの壁）
• 映画「ワーキングマン」情報（X公式 その1）
• 映画「ワーキングマン」情報（X公式 その2）
• 仕事猫コラボ話題と“ご安全に”の由来（ドイツ語「Glück auf」）／安全と健康の雑談
• 映画「果てしなきスカーレット」を観るか問題（賛否両論を横目に検討中）

次回もお楽しみに

# Claude Code on Web

https://code.claude.com/docs/ja/claude-code-on-the-web

# 効率的なトークン消費

https://www.anthropic.com/engineering/code-execution-with-mcp

# File Search Tool

https://blog.google/technology/developers/file-search-gemini-api/

# tauri ビルドできた

* アプリ特有の権限周りがめんどくさい

* emmbed python埋め込みが特殊

-> https://hfactory.hatenablog.com/entry/2025/04/05/154317

* ビルドに時間がかかる(Installer を作るのが重い)

```

┌─────────────────────────────────────────┐

│ Tauri Desktop App (.exe/.msi) │

│ ┌─────────────────────────────────┐ │

│ │ WebView (React Frontend) │ │

│ │ http://127.0.0.1:8000 │ │

│ └──────────┬──────────────────────┘ │

│ │ HTTP API │

│ ┌──────────▼──────────────────────┐ │

│ │ Python Server (FastAPI) │ │

│ │ + uvicorn │ │

│ │ + DuckDB │ │

│ └─────────────────────────────────┘ │

│ │

│ 起動時:Rustが子プロセスとしてPython │

│ サーバーを起動、ウィンドウ閉じると終了 │

└─────────────────────────────────────────┘

```

# インバウンドを見る

https://www.reddit.com/r/fukuoka/

石貫穴観音横穴

https://maps.app.goo.gl/vgJhWPP8JDKFPCmEA

今回のポッドキャストの概要: 風邪と体調管理、Claude Codeの最新動向（Haiku 4.5/Skills/エージェント）、政治DX「未来議会」、MacBook Pro M5、RSSとZen Browser などについて話しました

• 近況：風邪が長引いた話と対処（解熱剤か否か、葛根湯、予防の考え方）
• Claude Haiku 4.5登場とモデル自動ルーティングの所感（CCUC）
• Claude Code Spec Workflow（仕様書駆動の進め方）
• 軽量「仕様→ToDo→実装」ワークフロー（claude.md / spec.md / todo.md）
• Claude Code Skills（スキルのパッケージ化と実行）
• Playwright Test Agents（Planner/Generator/Healer）
• 未来議会：国会法案の見える化（チーム未来）
• MacBook Pro M5の検討（AI性能・帯域向上、Max/Pro待ちの悩み）
• 小型AI計算機の雑談：DGXパーク的“手のひらスパコン”とローカル推論
• Zen BrowserでRSS多タブ閲覧を快適に
• RSS内製化構想：重複除去・NGワード・興味学習でエコーチェンバー回避

次回もお楽しみに

<今回のポッドキャストの概要: 阿部寛主演「俺ではない 炎上」の感想、YapC福岡2025に向けた宿泊費高騰対策、Anthropic Claude Sonnet 4.5のアップデート、外部サービス障害とキャッシュレス二重決済からの学びについて話しました>
* 映画「俺ではない 炎上」を見た感想と評価（星3/5、サバイバル色・SNS描写への違和感、阿部寛の存在感）* [映画「俺ではない 炎上」公式サイト](https://movies.shochiku.co.jp/oredehanai-enjo/)
* YapC福岡2025と宿泊費高騰への対応（北九州・小倉/黒崎、二日市・久留米提案、交通費を含む最適化）* [宿泊費高騰への対応策 〜博多近隣編〜](https://blog.yapcjapan.org/entry/2025/10/03/153000)
* Claude Sonnet 4.5アップデートまとめ（チェックポイント、VS Code拡張、コンテキスト編集/メモリ、Agents SDK、Chrome拡張、価格とベンチ）* [Claude Sonnet 4.5 発表](https://www.anthropic.com/news/claude-sonnet-4-5)
* Claudeの障害発生と外部サービス前提の設計（Slack/Google Drive停止時の考慮、ステータス確認）* [Claude ステータス](https://status.claude.com/)
* カインズ「ポケットレジ」で二重決済が発生した体験と対応（決済番号での迅速な取消し、利用/設計双方の注意点）
次回もお楽しみに

• AI音楽：YouTubeのAI音楽ホストとSpotifyの方針転換
• YouTubeのAI音楽ホスト
• ソブリンAI：Cloudflareの取り組み
• Sovereign AI（Cloudflareブログ）
• Google Gemini Robotics 1.5（VLA）：ロボット操作モデル
• Gemini Robotics 1.5
• Meta Ray-Banディスプレイとリストバンド入力
• Meta Ray-Ban Display
• Meta Quest：ウィンドウサイズ変更不具合
• Reddit: ウィンドウサイズ変更バグ
• 映画『俺ではない炎上』と体験型SNS「Y」
• 映画『俺ではない炎上』特設SNS
• PR TIMES: 体験型SNS「Y」
• 宮崎・フェニックスシーガイアに行ってきた（リゾート、プール、円形バーなど）
• ETCマイレージサービスと平日朝夕割引の話
• ETCマイレージサービス
• 平日朝夕割引

次回もお楽しみに

<今回のポッドキャストの概要: コーディングエージェント（Claude Codeの挙動変化とOpenAI Codex CLIのRust版）、オープンウェイトLLM（GPT-OSS）のAWS提供と国内リージョン/コスト検討、漫画『ジョニー・ライデンの帰還』、福岡・二日市温泉〜太宰府の旅ログ（連歌屋珈琲・大丸別荘）について話しました>

• コーディングエージェント近況（Claude Codeの劣化報告とCodex CLIのRustリライト）
• Claude Codeが“アホ”になる問題（記事）
• Codex CLI Rust版の紹介（記事）
• オープンウェイトLLM「GPT-OSS」とAWSでの提供形態・国内リージョン/コストの検討
• OpenAIのオープンウェイトモデルがAWSで利用可能に（AWS公式ブログ）
• SageMaker JumpStartでGPT-OSSを使う（AWS MLブログ）
• 漫画「機動戦士ガンダム MSV-R ジョニー・ライデンの帰還」を一気読みレビュー
• 作品情報（Wikipedia）
• 福岡・二日市温泉〜太宰府の旅ログ（レンガ屋珈琲の“開運マグ”、大丸別荘）
• 大丸別荘 公式サイト

次回もお楽しみに

<今回のポッドキャストの概要: 北海道ぐるり車旅と利尻山登山。ルートと費用内訳、フェリー体験、車中泊や給油のコツ、見どころや季節の注意点、ハイライト＆ローライトを語りました>

• 旅の概要・期間とルート（7/24〜8/10、約16〜17日・約6,200km）
• 目的: 百名山・利尻山（利尻富士）登頂と北海道一周ドライブ
• 九州発→本州太平洋側北上→大間→函館→北海道一周→函館→本州日本海側南下→九州
• 旅費の内訳と節約術（総額約23万円：フェリー約8万円／食費約5万円／宿泊約4万円／燃料約4.3万円）
• フェリー体験（小倉→横須賀は約23時間・露天風呂あり／大間↔函館は約90分／稚内↔利尻）
• 北海道一周の見どころと景観差（日本海側の荒々しさ・太平洋側の長い直線路）
• 利尻島の基礎知識（大型野生動物は基本不在、鳥と花が豊富／観光バスで島一周）
• 利尻山登山の実際（標準10〜12時間、4時発→約11時間、甘露泉水で補給も酷暑で水消費大／山頂はガス）
• 道内ハイライト（網走監獄博物館、知床半島、根室・納沙布岬、襟裳岬）
• 本州での立ち寄り（松島、中尊寺金色堂、山形・羽黒山の国宝五重塔、秋田・ゴジラ岩）
• 宿泊と車中泊のコツ（5〜6泊車中泊／最安3,800〜3,900円、最高7,700円・朝食付の高コスパ宿）
• 給油・運転運用（北海道は7:00〜19:00営業多め、燃料半分で2,000円給油ルーチン、信号少なく燃費良）
• 食事情とセイコーマート（店内調理のカツ丼・おにぎりが旅の味方／地元スーパーの海鮮丼も活用）
• 野生動物との遭遇（シカ・キツネは目撃／クマ遭遇なし）
• 季節の選び方（夏は暑さと無冷房宿に注意、秋が快適、冬は積雪で運転難度高）
• 持ち物・長距離運転対策（車中泊用エアマット、腰サポーター、オーディブルで10冊以上消化）
• おみやげ談義（利尻昆布スープ＝島内製造所確認、日本酒は温度管理の都合で断念）
• 旅のトリビア（「白い恋人」パッケージの山は利尻山）
• メディア共有予定（写真・動画あり。サムネ用写真を後日提供）

次回もお楽しみに

• スマホ
• Oppo Reno 11A 購入
• Fold 型とFlip 型
• Samsung Fold
• Samsung Flip

• Motorola Razr

• なぜLinkedinは俺にゲームをやらせたがるのか

• Twitterの投稿

• 朝日新聞の記事

• Claude Code

• Windows 対応

• 中身の解析

• 福岡天神に自作キーボード

• 北海道

• 熊の被害

• その場で死亡確認

• 次回収録

• 8/16