ねこエンジニア

設計思想を語れるエンジニアを目指しています！
問い、技術、AIを中心につぶやきます。

◆トピック
・IT技術
・技術同人誌
・SIer 新卒4年目
・数学科 修士卒

◆個人開発したアプリ
「君はねこを飼えるか？」

[ねこエンジニア @neko_engineer_]

#技術同人誌 発売
勉強しているのに不安が消えないエンジニア
～将来に振り回されない「自分の軸駆動個人開発」～
https://t.co/v8Wha4rpgA #booth_pm

半年前の自分に向けた本で
自分の軸（≒自分の内にある目指す先）を見つけることで、不安→成長に変えることがテーマです！
#個人開発

↓ちなみに

[ねこエンジニア @neko_engineer_]

チャッピーに完全に騙された…

ホームページのレビューをチャッピーに依頼
→ちゃんとレビューコメントが返ってきて満足
→よくよく問い詰めると、適当に答えていたと判明

AIはWeb検索してくれますが、
検索失敗に気づきにくい作りになっているので注意
※しかもハルシネーションが増えやすい印象

[ねこエンジニア @neko_engineer_]

こんな見た目。今まで色々作ったな～　と感慨深い気持ち。

[ねこエンジニア @neko_engineer_]

ホームページを作成しました！

コンテンツが色々散らばっていて嫌だったので、ハブサイトの役割です。

以下を自動で集約する機能をこだわりました（手動運用したくないので…）
・zenn
・note
・GitHub
・（boothなど、一部手動）

https://t.co/5UhNOFKIUh

[ねこエンジニア @neko_engineer_]

Claude Codeに「○○の原因調査してください」などの指示をすると、結構な確率で修正まで突っ走る。

あなたがコーディングすごいのはわかる、けど原因調査しか指示してない。

もちろん、最初の指示で「実装はまだしないで」と書けば良い。けど、指示してないことやらないで～って思う。

[ねこエンジニア @neko_engineer_]

@sonmerfiel39411 ありがとうございます！やはりAPIが安定するんですね（料金だけ不安）。

いったん埋め込み（publish x）利用は諦めました…

[ねこエンジニア @neko_engineer_]

Ｘのタイムラインの埋め込みが表示されない。リポスト先の人と同じ。

流石にないと思いつつ、SameSite Cookieの影響で確実に未ログイン状態になる（未ログインだとAPI制限になるという情報はある）というのが原因？

ただ、それだと、全ユーザーがヴィジット使えないことになるので、流石にないか…

[JWS - Kojima - @james_kojima]

Xのタイムラインの埋め込みが表示されないと思ったら、Rate limit exceededっていうエラーになってるみたい。。
https://t.co/XLGWYqEQ4V

[ねこエンジニア @neko_engineer_]

Amplifyのカスタムドメイン（Route53利用）で無駄に詰まった。

登録しようとしたドメインは前に使用済みだった
→消し忘れたまま、Amplifyに設定しようとした
→設定処理がずっと終わらないままになった（エラーにもならない）

※もともとあったドメインを削除して、やり直したらすぐに終わりました

[ねこエンジニア @neko_engineer_]

ゼロから小学校数学ーZFC公理からすべてを証明し直す

1章を作成しました

そのうち本にしたい
https://t.co/RvJTn3ti18

[ねこエンジニア @neko_engineer_]

ゼロから小学校数学ーZFC公理からすべてを証明し直す

というシリーズを検討中。

https://t.co/VX26EPvbxv

[ねこエンジニア @neko_engineer_]

ゼロから設計するOAuth｜ねこエンジニア

Twitterで少しずつ発信していましたが、Zennの本で公開（連載）していこうと思っています。

現在はDay1～Day3まで。

https://t.co/nvpbXQ1doH #zenn

[ねこエンジニア @neko_engineer_]

ZFC公理だけを出発点にして、小学校算数を考えるのは面白いかもしれない。

自然数、足し算、引き算、順序…
どれも自明ではない。自然数の構成からはじめないといけない。

そもそもZFC公理を理解しないとはじまらないので難しい。

[ねこエンジニア @neko_engineer_]

Claude Codeが遅すぎる。
almost done thinkingって書いてあるけど、たぶん何も進んでないのでは？笑

Pro版だからか…？

[ねこエンジニア @neko_engineer_]

「有理数（分数） ⟺ 有限小数または循環小数」の証明って、そもそも実装の定義をちゃんとしないとできないのかも…？

分数の定義、小数の定義とか。

例えば、「無限小数の足し算・引き算って本当にできるの？」とか。

真面目に証明していくと結構大変だな…

[ねこエンジニア @neko_engineer_]

「有理数（分数） ⟺ 有限小数または循環小数」ってそういえばなぜか（証明）を考えたことなかった。

一度わかれば、当たり前かもしれないです。皆さんは証明できますか？

というか、小学校～高校くらいの数学は"証明していないここと"が意外とあったりする。

[ねこエンジニア @neko_engineer_]

ZeroAuth設計②
OAuthはリダイレクトでTokenのやり取りをしますが、他にもiframeを使う方法、JavaScriptを使う方法もできそうなので、検討してみました。

JavaScriptはダメだとして、iframeも調べてみると色々問題があるみたいです。ちょっと理解が深まった気がする。

https://t.co/aroIsheD5j

[ねこエンジニア @neko_engineer_]

@NEXA_EngineerAI 私も1年目は「リファクタしましょう」でした…

いまは
「お客さんや経営層にリスクを冒してでもリファクタするビジネス価値がある」って説明しないといけない
→無理
→リファクタしない

と理解しました。

※リファクタしたい気持ちは変わらないですが笑

[ねこエンジニア @neko_engineer_]

@ysmemoirs 確かに考えたことなかったです。直感的には相似だがら、円周率（比率）は一定な気がしますが…

よく考えると、相似の定義や、曲線の長さの定義ってどうするんだろうとか考えてしまう（ここまで考える必要はない…？）

[ねこエンジニア @neko_engineer_]

エンジニアあるある？
「移行」と「以降」の漢字変換は100%間違える。たまに「行こう」も間違える。

[ねこエンジニア @neko_engineer_]

「有限小数⟺分母の素因数は2と5だけ」も成り立つらしい。

なぜ2と5かというと10進数だから（10=2×5だから）。

つまり、有限小数かどうかは、表記法（N進数）に依存する。10進数で有限でも、2進数や3進数では有限ではないかもしれない。

[ねこエンジニア @neko_engineer_]

最近、ChatGPTと一緒にがっつり自己分析をしました。
- 過去の印象深い出来事を洗い出す
- 自分の特徴を書きだす
- それをAIに渡して深掘り
- 「自分は○○である」に当てはまる○○をAIと一緒に探す（納得するまで）

とりあえず「自分は探索者である」に落ち着きました。
※画像はGemini製