はてなブログを持っていれば、誰でも参加できます。
Claude Code に、情報理論（通信やデータ圧縮の限界を扱う数学）の教科書を Lean で形式化させた。自分では証明を 1 行も書いていない。 自分のまったく知らない分野について、AIに証明させながら自分でも学んでみよう、というのが動機だ。 2026年5 月に始めて 8 月に一区切りをつけ、最終的に約 13 万行、定理は 4,000 本を超えた。 リポジトリ: https://github.…
先日札幌で行われた将棋大会、佐々木治夫杯は参加者300名の大きな大会となりました。自分は選手ではなく運営の手伝いとして携わっておりました。 この大会は全道からの参加者が多く、5人団体戦ということが特徴です。聞いたところによると、成績の管理や次戦の対戦チームの決定などが毎年大変な作業ということだったので、今回システム化を行い無事に乗りきることができました。 今日はそんなアプリの紹介と作り終えるまでの…
ROHM EDGE HACK CHALLENGE 2026 『ROHM EDGE HACK CHALLENGE 2026』というSolist-AI™を使ったコンテストが開催されました。protopedia.net Solist-AI™（ソリストエーアイ）とは ローム株式会社の提供するエッジAI。デバイス単体で学習・推論が可能、異常状態検知を得意としていると理解しました。 アイデア応募してラズパイP…
WordPressの始め方がわからない初心者へ！設定・管理・バックアップを支えるXServer for WordPressを解説 そもそもWordPressとは？初心者にもわかりやすく解説 WordPressはブログやホームページを作成できるシステム WordPressを始めるには何が必要？ WordPressを始める前に知っておきたいサーバー選びのポイント WordPressに対応したサーバーを…
いつもブログへご訪問いただきありがとうございます。 「【合格体験記】オラクルマスターブロンズ(Bronze DBA 1Z0-085-JPN)に黒本とPing-tで合格！勉強法と本番の感想【2026年最新版】」について WordPressの記事を書きました。 ご興味のある方は下記リンクまで是非アクセスください！ iteng-pom.com
2026年の4~10月まで、ラーケーションという取り組みを行っていました。 勉強、休暇、旅行はもう十分味わったので、しばらくは仕事（と運動）に専念したいと感じています。（11月下旬から仕事探しを始めるので、実際に働き始めるまで、まだしばらく期間があります。） takehara-biz.hatenablog.com 以下、メモと自身の気づきについて書いておきます。 学習量 ITに関しては、おおよそ以…
iPhone Duoの発売から1週間。 使ってみての感想です。 www.apple.com 購入まで 9/16 (金) 予約 社メンバーで21時にMeet集合して、予約ソンを開催。 21:01台に繋がったのですが、すでに当日配送枠は埋まっており*1、Apple京都で当日受け取りで予約しました。 Thank you #Apple pic.twitter.com/aaWsn0wPKf— Yutaro …
土曜ぐらいに凍ってた気がする。今爆速で人工衛星作っててそれどころじゃあないのよ。 最近は姿勢制御・シミュレータ・時刻同期・ソフトウェアアップデート・その他低レイヤの隙間全部・CI/CD を殴りまくっています。AI で殴り倒せることが本当に増えたので、その有り余った腕力がロクに余らんぐらい*1の物量とスピードで開発や検証を回すことができるし、全員そうなれるチームで仕事できているため AI 時代でも楽…
今日は、僕自身が普段どのように投資と向き合い、どうやって資産を管理しているのか、個人的な記録として書いてみたいと思います。 投資を始めようと思った時、最初につまずくのは「どの株を買えばいいのか」という壁でした。 動画や本で色々と勉強していく中で気づいたのは、企業の業績を予想したり、チャートを見定めたりする時間があるなら、自分の趣味ややりたいことに時間を使いたいということです。そっちの方が、間違いな…
前回の続きで、次に鷲田清一氏の「哲学の使い方」を途中まで読みました。読んでみて感じたことです。哲学の本は探したい答えがかいてあるわけではない、ということです。何かに直面したとき、まず自分が考えたことを疑ってみる。手がかりをさがすために深く考えること、が哲学のようです。できる限り、そのことを忘れずに実践していこうと思います。 量子とは良く聞く言葉ですが、何だろうと思っていました。そこで、量子論・量子…
次のページ
