数値計算 論理思考の限界と再構築──集合論・群論で読み解く技術開発の構造
その他のエッセイはこちら※本稿では集合論や群論といった数学的概念を思考の補助線として扱っている。集合論に馴染みのない読者のために、文末に「付録：集合論の基本と導入のための問い」を設けた。「集合とは何か」「写像とは何か」といった基礎を簡潔に確...
KEI
数値計算 
数値計算 ロジックは現実に負けるのか？──エンジニアが語る論理的思考の再評価
ロジカルシンキングによって導かれる結果は、現実においては一つの仮説に過ぎない。しかし、その過程と表現には大きな価値がある。誤りを構造的に認識し、他者と共有し、柔軟に修正していくための基盤として、ロジカルシンキングは不可欠な思考技術である。現実の複雑さを前提にしながらも、論理という道具を使って前に進むこと。それこそが、現代における思考の成熟であると私は考える。
数値計算 「全部箱かい！！！」——プログラミング概念に潜む“箱”のメタファーの功罪とその深層
「箱」は、プログラミング教育において非常に強力なメタファーである。だが、箱に閉じ込められたままでは、複雑な構造や動的な関係性を見失ってしまう。クラス、オブジェクト、関数、変数——それぞれの概念は、箱として捉えることもできるが、それ以上の意味と構造を持っている。
数値計算 親子で発見！学びの楽しさ#3(旅人算、グラフ、交点算出)
はじめにYoutubeチャンネルの方の視聴者さんからのリクエストである、「小学生向けの動画シリーズ」のブログ版。旅人算から始まり、グラフや交点算出。動画動画による解説はこちら。類似動画シリーズおしながき今回の内容になる。小学生向け：旅人算中...
数値計算 関数をハックせよ：多項式回帰・フーリエ級数・ニューラルネットによる関数近似戦略
その他のエッセイはこちら筆者の立ち位置と本稿の目的筆者は自動車業界でエンジニアとして働いており、日々の業務ではセンサーデータや物理モデルの解析に携わっている。特に、多項式回帰やフーリエ変換を用いた関数近似や信号処理は、実務で頻繁に活用してい...
数値計算 オブジェクト指向を線形代数で読み解く:エンジニアのための思考実験
ソフトウェア設計における因果関係の明確化。条件分岐や状態遷移の数理的な記述。並列処理やバッチ処理の自然な導入。AIモデルとの構造的な共通性の理解。
動画作成 VOICEVOXとAivisSpeechキャラと一緒に！AviUtlを使った動画作成#7(立ち絵配置効率化編)
exoファイルを使えば、立ち絵の設定をテンプレ化して何度でも使い回せる。キャラごと・表情ごとのexoパターンを作っておけば、配置も口パクも一瞬。拡張編集にドラッグ＆ドロップするだけで、作業時間が爆速短縮。
動画作成 VOICEVOXとAivisSpeechキャラと一緒に！AviUtlを使った動画作成 バックナンバー(立ち絵やら動画やらアイキャッチ画像やら)
動画作成関連のバックナンバー用ページ。立ち絵を作ったり、動画作ったり、アイキャッチ画像作ったりなどを掲載していく。
G検定 G検定 画像認識 究極カンペ#2｜一般物体認識・物体検出・セグメンテーション・姿勢推定
G検定の画像認識分野（一般物体認識・物体検出・セグメンテーション・姿勢推定）を、AlexNetを起点とした因果関係図で整理した「究極カンペ」シリーズ#2の講義ノートです。VGG・ResNet・DenseNet・EfficientNet・Vision Transformer、YOLO・R-CNN・SSD、FCN・U-Net・DeepLab、OpenPoseやPAFなど、代表的なモデルのつながりをG検定カンペ用に理解しやすく解説します。
G検定 G検定は意味ない？究極カンペの作り方と勉強ステージ解説【G検定対策#1】
「G検定は意味ない」と言われる理由を整理しつつ、G検定対策で目指すべき勉強のステージや究極カンペの考え方を解説します。SNS上の評判、語彙力→因果関係→応用力という学習ステージ、シラバスを使ったカテゴリ分けや因果関係図の例を通じて、「カンペに頼らない自分」を作るための導入編です。