kino2718
@kino2718.bsky.social
フリーのエンジニア。 現在はAndroidのアプリ開発がメイン。これまでには組み込み系のファームウェア、アナログハードウェア、FPGA開発も。
最近一番良く使ってる言語はKotlin。
数学や物理の本を読むのが趣味。
最近一番良く使ってる言語はKotlin。
数学や物理の本を読むのが趣味。
次のプロジェクトは TypeScript, Next.js を用いて簡単な複式簿記ができるアプリを作成してみよう
Next.js のチュートリアルも財務ダッシュボードの作成とちょうど良いのでまずはこれをやってみるか
nextjs.org/learn/dashbo...
Next.js のチュートリアルも財務ダッシュボードの作成とちょうど良いのでまずはこれをやってみるか
nextjs.org/learn/dashbo...
App Router | Next.js
Learn how to build a full-stack web application with the free, Next.js Foundations course.
nextjs.org
December 27, 2025 at 6:59 AM
次のプロジェクトは TypeScript, Next.js を用いて簡単な複式簿記ができるアプリを作成してみよう
Next.js のチュートリアルも財務ダッシュボードの作成とちょうど良いのでまずはこれをやってみるか
nextjs.org/learn/dashbo...
Next.js のチュートリアルも財務ダッシュボードの作成とちょうど良いのでまずはこれをやってみるか
nextjs.org/learn/dashbo...
「はじめての圏論」という数学の本を読み始めた
数学の本を読むのは久しぶりかも
圏論に関しては全く知らないのでブルーバックスの簡単そうな本
ちょっとだけ知りたいっていう動機で数学の本を読むのは位相幾何学以来かな
www.kodansha.co.jp/book/product...
数学の本を読むのは久しぶりかも
圏論に関しては全く知らないのでブルーバックスの簡単そうな本
ちょっとだけ知りたいっていう動機で数学の本を読むのは位相幾何学以来かな
www.kodansha.co.jp/book/product...
『はじめての圏論 ブンゲン先生の現代数学入門』（加藤 文元） 製品詳細 講談社
★★★「現代数学の最重要理論」をわかりやすく！★★★ 21世紀の数学界をにぎわす「圏論」。 その基本的なアイデアを一言で表すなら、次のようになる。 「モノとモノを矢印でつなぐ」 このシンプルな発想が、なぜ「現代数学の最重要理論」なのか？ その理由は、高度な抽象性と普遍性をあわせもつ圏論が、 とてつもない応用可能性を秘めていることにある。 本書では、圏を組み立てるための「基本ルール」から、 「関手」...
www.kodansha.co.jp
December 25, 2025 at 3:45 AM
「はじめての圏論」という数学の本を読み始めた
数学の本を読むのは久しぶりかも
圏論に関しては全く知らないのでブルーバックスの簡単そうな本
ちょっとだけ知りたいっていう動機で数学の本を読むのは位相幾何学以来かな
www.kodansha.co.jp/book/product...
数学の本を読むのは久しぶりかも
圏論に関しては全く知らないのでブルーバックスの簡単そうな本
ちょっとだけ知りたいっていう動機で数学の本を読むのは位相幾何学以来かな
www.kodansha.co.jp/book/product...
Ruby on Rails Tutorial の内容をあえて JavaScript + Express で実装するプロジェクト終了した〜
まあ大体同じような機能は実装できたかな
JavaScriptをそれなりに使ってみてなんとミスしやすい言語だろうと感じた。まあこれまで静的型付け言語を使ってきたというのもあるんだろうな
次はTypeScriptに手を出してみるか…
github.com/kino2718/rub...
まあ大体同じような機能は実装できたかな
JavaScriptをそれなりに使ってみてなんとミスしやすい言語だろうと感じた。まあこれまで静的型付け言語を使ってきたというのもあるんだろうな
次はTypeScriptに手を出してみるか…
github.com/kino2718/rub...
GitHub - kino2718/ruby_on_rails_tutorial_by_express: Ruby on Rails TutorialのサンプルアプリをJavaScript + Expressで実装したアプリ。
Ruby on Rails TutorialのサンプルアプリをJavaScript + Expressで実装したアプリ。 - kino2718/ruby_on_rails_tutorial_by_express
github.com
December 19, 2025 at 10:01 PM
Ruby on Rails Tutorial の内容をあえて JavaScript + Express で実装するプロジェクト終了した〜
まあ大体同じような機能は実装できたかな
JavaScriptをそれなりに使ってみてなんとミスしやすい言語だろうと感じた。まあこれまで静的型付け言語を使ってきたというのもあるんだろうな
次はTypeScriptに手を出してみるか…
github.com/kino2718/rub...
まあ大体同じような機能は実装できたかな
JavaScriptをそれなりに使ってみてなんとミスしやすい言語だろうと感じた。まあこれまで静的型付け言語を使ってきたというのもあるんだろうな
次はTypeScriptに手を出してみるか…
github.com/kino2718/rub...
今回初めて JavaScript をまともに使ってみたけど、 async 関数を await し忘れて、あれ？なんでいつも true? にしょっちゅうなる😅
なる程、これは TypeScript が欲しくなるわけだと、これだけでも実感した
なる程、これは TypeScript が欲しくなるわけだと、これだけでも実感した
October 14, 2025 at 6:27 AM
今回初めて JavaScript をまともに使ってみたけど、 async 関数を await し忘れて、あれ？なんでいつも true? にしょっちゅうなる😅
なる程、これは TypeScript が欲しくなるわけだと、これだけでも実感した
なる程、これは TypeScript が欲しくなるわけだと、これだけでも実感した
国勢調査解答終了〜
「そういえば来てたな。そろそろ解答するか」と思ったら締切が10/8
早すぎだろと思ったが案の定ネット解答延長していた
まあ普通解答期間1ヶ月はとるよね🙂
「そういえば来てたな。そろそろ解答するか」と思ったら締切が10/8
早すぎだろと思ったが案の定ネット解答延長していた
まあ普通解答期間1ヶ月はとるよね🙂
October 12, 2025 at 10:01 PM
国勢調査解答終了〜
「そういえば来てたな。そろそろ解答するか」と思ったら締切が10/8
早すぎだろと思ったが案の定ネット解答延長していた
まあ普通解答期間1ヶ月はとるよね🙂
「そういえば来てたな。そろそろ解答するか」と思ったら締切が10/8
早すぎだろと思ったが案の定ネット解答延長していた
まあ普通解答期間1ヶ月はとるよね🙂
Ruby on Rails Tutorial の内容をあえて JavaScript + Express で実装し始めたプロジェクト、待ち受けport番号を環境変数PORTから取得するように変更しただけで、GitHubからRenderに簡単にdeployできてしまった🙂
Web Appをこの手のサービスにdeployするのは初めてなのであまりの簡単さにちょっと感動。
Web Appをこの手のサービスにdeployするのは初めてなのであまりの簡単さにちょっと感動。
September 11, 2025 at 7:03 AM
Ruby on Rails Tutorial の内容をあえて JavaScript + Express で実装し始めたプロジェクト、待ち受けport番号を環境変数PORTから取得するように変更しただけで、GitHubからRenderに簡単にdeployできてしまった🙂
Web Appをこの手のサービスにdeployするのは初めてなのであまりの簡単さにちょっと感動。
Web Appをこの手のサービスにdeployするのは初めてなのであまりの簡単さにちょっと感動。
Ruby on Rails Tutorial の内容をあえて JavaScript + Express で実装し始めた。現在は「3.2.2静的なページの調整」まで。Template Engine は EJS を用いる予定。
Ruby on Rails Tutorial の構成となるべく同じになるようにしているのでちょっと Express っぽくないところもあるかも。
以前 Python + Flask で同じことをやった時はだらだらやって 3ヶ月ぐらいかかったから同じぐらいかかるかな？
github.com/kino2718/rub...
Ruby on Rails Tutorial の構成となるべく同じになるようにしているのでちょっと Express っぽくないところもあるかも。
以前 Python + Flask で同じことをやった時はだらだらやって 3ヶ月ぐらいかかったから同じぐらいかかるかな？
github.com/kino2718/rub...
GitHub - kino2718/ruby_on_rails_tutorial_by_express: Ruby on Rails TutorialのサンプルアプリをJavaScript + Expressで実装したアプリ。
Ruby on Rails TutorialのサンプルアプリをJavaScript + Expressで実装したアプリ。 - kino2718/ruby_on_rails_tutorial_by_express
github.com
September 10, 2025 at 3:44 AM
Ruby on Rails Tutorial の内容をあえて JavaScript + Express で実装し始めた。現在は「3.2.2静的なページの調整」まで。Template Engine は EJS を用いる予定。
Ruby on Rails Tutorial の構成となるべく同じになるようにしているのでちょっと Express っぽくないところもあるかも。
以前 Python + Flask で同じことをやった時はだらだらやって 3ヶ月ぐらいかかったから同じぐらいかかるかな？
github.com/kino2718/rub...
Ruby on Rails Tutorial の構成となるべく同じになるようにしているのでちょっと Express っぽくないところもあるかも。
以前 Python + Flask で同じことをやった時はだらだらやって 3ヶ月ぐらいかかったから同じぐらいかかるかな？
github.com/kino2718/rub...
JavaScriptを選んだのは、これまで何となく性に合わなくて避けてたけど、AIを用いたプログラミングが主流になってくると、これだけメジャーな言語を避けているのは、なんとなく損という気分になったからかな
でもprototypeとかの仕様を見るとやっぱりムー？となる😅
でもprototypeとかの仕様を見るとやっぱりムー？となる😅
September 2, 2025 at 10:45 PM
JavaScriptを選んだのは、これまで何となく性に合わなくて避けてたけど、AIを用いたプログラミングが主流になってくると、これだけメジャーな言語を避けているのは、なんとなく損という気分になったからかな
でもprototypeとかの仕様を見るとやっぱりムー？となる😅
でもprototypeとかの仕様を見るとやっぱりムー？となる😅
以前 Ruby on Rails Tutorial の内容をあえて Python + Flask で実装してみたことあるけど、今度は JavaScript + Express で実装してみようかな。数ヶ月は楽しめそう🙂
github.com/kino2718/rub...
github.com/kino2718/rub...
GitHub - kino2718/ruby_on_rails_tutorial_by_python_flask
Contribute to kino2718/ruby_on_rails_tutorial_by_python_flask development by creating an account on GitHub.
github.com
September 2, 2025 at 10:32 PM
以前 Ruby on Rails Tutorial の内容をあえて Python + Flask で実装してみたことあるけど、今度は JavaScript + Express で実装してみようかな。数ヶ月は楽しめそう🙂
github.com/kino2718/rub...
github.com/kino2718/rub...
自分で使うために作ったAndroidアプリ。もう一つopenにしてみる。
BatteryChargeChecker: 指定の充電レベルになると振動で教えてくれます。
github.com/kino2718/Bat...
BatteryChargeChecker: 指定の充電レベルになると振動で教えてくれます。
github.com/kino2718/Bat...
GitHub - kino2718/BatteryChargeChecker
Contribute to kino2718/BatteryChargeChecker development by creating an account on GitHub.
github.com
July 30, 2025 at 1:06 AM
自分で使うために作ったAndroidアプリ。もう一つopenにしてみる。
BatteryChargeChecker: 指定の充電レベルになると振動で教えてくれます。
github.com/kino2718/Bat...
BatteryChargeChecker: 指定の充電レベルになると振動で教えてくれます。
github.com/kino2718/Bat...
自分で使うために作ったAndroidで動くPodCastアプリ。Androidアプリはオープンにしたこと無いので試しに公開してみる。
github.com/kino2718/Pod...
github.com/kino2718/Pod...
GitHub - kino2718/PodCast
Contribute to kino2718/PodCast development by creating an account on GitHub.
github.com
July 10, 2025 at 7:45 AM
自分で使うために作ったAndroidで動くPodCastアプリ。Androidアプリはオープンにしたこと無いので試しに公開してみる。
github.com/kino2718/Pod...
github.com/kino2718/Pod...
核融合発電なんて夢の技術のまま😅かと思っていたけど、結構商用化が目の前なんだな
ChatGPTさんに調べてもらった。
chatgpt.com/share/6865b4...
まあまだ乗り越えなくてはならない壁はいくつかあるみたいだけど、そう非現実的な話ではなくなった
20Tの超伝導磁石の開発に成功したのが鍵なのかな
ChatGPTさんに調べてもらった。
chatgpt.com/share/6865b4...
まあまだ乗り越えなくてはならない壁はいくつかあるみたいだけど、そう非現実的な話ではなくなった
20Tの超伝導磁石の開発に成功したのが鍵なのかな
ChatGPT - Commonwealth Fusion Systems調査
Shared via ChatGPT
chatgpt.com
July 2, 2025 at 10:39 PM
核融合発電なんて夢の技術のまま😅かと思っていたけど、結構商用化が目の前なんだな
ChatGPTさんに調べてもらった。
chatgpt.com/share/6865b4...
まあまだ乗り越えなくてはならない壁はいくつかあるみたいだけど、そう非現実的な話ではなくなった
20Tの超伝導磁石の開発に成功したのが鍵なのかな
ChatGPTさんに調べてもらった。
chatgpt.com/share/6865b4...
まあまだ乗り越えなくてはならない壁はいくつかあるみたいだけど、そう非現実的な話ではなくなった
20Tの超伝導磁石の開発に成功したのが鍵なのかな
しばらく試してない間に画像生成ツールすごく進化してるな
「酒癖の悪そうな日本人の中年男性を描いて下さい。」→ Imagen 3
ほんとに酒癖悪そうw
「酒癖の悪そうな日本人の中年男性を描いて下さい。」→ Imagen 3
ほんとに酒癖悪そうw
May 5, 2025 at 10:44 PM
しばらく試してない間に画像生成ツールすごく進化してるな
「酒癖の悪そうな日本人の中年男性を描いて下さい。」→ Imagen 3
ほんとに酒癖悪そうw
「酒癖の悪そうな日本人の中年男性を描いて下さい。」→ Imagen 3
ほんとに酒癖悪そうw
オルカンの国別構成比率とそれが将来変わっていくのかを ChatGPT の Deep Research に聞いてみた。これだけのレポートをしてくれて 20$/月 とか凄すぎる
chatgpt.com/share/67ca1e...
chatgpt.com/share/67ca1e...
ChatGPT - eMAXIS Slim 国別投資割合
Shared via ChatGPT
chatgpt.com
March 6, 2025 at 10:21 PM
オルカンの国別構成比率とそれが将来変わっていくのかを ChatGPT の Deep Research に聞いてみた。これだけのレポートをしてくれて 20$/月 とか凄すぎる
chatgpt.com/share/67ca1e...
chatgpt.com/share/67ca1e...
ChatGPTのDeep Search、Plusユーザーにも降りてきたので試してみたけど、これすごいな。もう無課金でも十分良いかな〜と思っていたけど、こういうのが出てくると有料ユーザーを止められない
February 26, 2025 at 2:09 AM
ChatGPTのDeep Search、Plusユーザーにも降りてきたので試してみたけど、これすごいな。もう無課金でも十分良いかな〜と思っていたけど、こういうのが出てくると有料ユーザーを止められない
「生成AIの仕組み 流れが画像・音声・動画をつくる」読了。
なるほど。細かいステップに分けて画像に徐々にノイズを追加・削除していくのは、正規分布等の単純な確率密度分布を流れの方程式（全確率=1を保存する）に従って画像等の確率密度分布に変換していくのに相当しているのか。
あれが何を意味しているのか良く分からなかったけど、この本で少し理解できたかも🙂
なるほど。細かいステップに分けて画像に徐々にノイズを追加・削除していくのは、正規分布等の単純な確率密度分布を流れの方程式（全確率=1を保存する）に従って画像等の確率密度分布に変換していくのに相当しているのか。
あれが何を意味しているのか良く分からなかったけど、この本で少し理解できたかも🙂
January 8, 2025 at 12:06 AM
「生成AIの仕組み 流れが画像・音声・動画をつくる」読了。
なるほど。細かいステップに分けて画像に徐々にノイズを追加・削除していくのは、正規分布等の単純な確率密度分布を流れの方程式（全確率=1を保存する）に従って画像等の確率密度分布に変換していくのに相当しているのか。
あれが何を意味しているのか良く分からなかったけど、この本で少し理解できたかも🙂
なるほど。細かいステップに分けて画像に徐々にノイズを追加・削除していくのは、正規分布等の単純な確率密度分布を流れの方程式（全確率=1を保存する）に従って画像等の確率密度分布に変換していくのに相当しているのか。
あれが何を意味しているのか良く分からなかったけど、この本で少し理解できたかも🙂
スターシップのテスト打ち上げ見た
すげ〜！
ブースターが戻ってきてチョップスティックがなんちゃらとか言っていて何の事じゃいと思ったが、そういうことか！
よくこんな着陸方法考えたもんだ！
すげ〜！
ブースターが戻ってきてチョップスティックがなんちゃらとか言っていて何の事じゃいと思ったが、そういうことか！
よくこんな着陸方法考えたもんだ！
October 13, 2024 at 8:21 PM
スターシップのテスト打ち上げ見た
すげ〜！
ブースターが戻ってきてチョップスティックがなんちゃらとか言っていて何の事じゃいと思ったが、そういうことか！
よくこんな着陸方法考えたもんだ！
すげ〜！
ブースターが戻ってきてチョップスティックがなんちゃらとか言っていて何の事じゃいと思ったが、そういうことか！
よくこんな着陸方法考えたもんだ！
朝の散歩時の豪雨でびしょ濡れ😭
いつもは雨雲画像をチェックするんだけど、今日に限って油断した
しかも折りたたみ傘も忘れて…
まあこんな日もあるか😅
いつもは雨雲画像をチェックするんだけど、今日に限って油断した
しかも折りたたみ傘も忘れて…
まあこんな日もあるか😅
October 4, 2024 at 12:50 AM
朝の散歩時の豪雨でびしょ濡れ😭
いつもは雨雲画像をチェックするんだけど、今日に限って油断した
しかも折りたたみ傘も忘れて…
まあこんな日もあるか😅
いつもは雨雲画像をチェックするんだけど、今日に限って油断した
しかも折りたたみ傘も忘れて…
まあこんな日もあるか😅
いや〜、エアコン無しで過ごせるって何日ぶりだろう？
遠い昔のような気がする
乾燥させるために送風は使ったけど、冷房・除湿は無し
こんな感じの日が暫く続くと良いな😄
遠い昔のような気がする
乾燥させるために送風は使ったけど、冷房・除湿は無し
こんな感じの日が暫く続くと良いな😄
September 24, 2024 at 3:38 AM
いや〜、エアコン無しで過ごせるって何日ぶりだろう？
遠い昔のような気がする
乾燥させるために送風は使ったけど、冷房・除湿は無し
こんな感じの日が暫く続くと良いな😄
遠い昔のような気がする
乾燥させるために送風は使ったけど、冷房・除湿は無し
こんな感じの日が暫く続くと良いな😄
USBメモリが見当たらず、コンビニ印刷時に置き忘れたかとあせった
ChatGPTさんにUSBメモリを刺した日時を調べる方法を教えてもらって
$ sodo grep -i "usb" /var/log/syslog | grep "絞り込み情報"
等でコンビニで使った後にPC(Ubuntu)に刺していることが分かり一安心
まあまだ見つからないんだが😅
ChatGPTさんにUSBメモリを刺した日時を調べる方法を教えてもらって
$ sodo grep -i "usb" /var/log/syslog | grep "絞り込み情報"
等でコンビニで使った後にPC(Ubuntu)に刺していることが分かり一安心
まあまだ見つからないんだが😅
September 17, 2024 at 12:59 AM
USBメモリが見当たらず、コンビニ印刷時に置き忘れたかとあせった
ChatGPTさんにUSBメモリを刺した日時を調べる方法を教えてもらって
$ sodo grep -i "usb" /var/log/syslog | grep "絞り込み情報"
等でコンビニで使った後にPC(Ubuntu)に刺していることが分かり一安心
まあまだ見つからないんだが😅
ChatGPTさんにUSBメモリを刺した日時を調べる方法を教えてもらって
$ sodo grep -i "usb" /var/log/syslog | grep "絞り込み情報"
等でコンビニで使った後にPC(Ubuntu)に刺していることが分かり一安心
まあまだ見つからないんだが😅
OpenAI o1の説明に「応答する前により多くの時間をかけて考えるように設計」とあるが、これまでは思いつきでパッと答えてたのが、もうちょい熟考するようになったということなのかな？
システムがどう構成されているのかさすがに理解できなくなってしまったが、例えるとそんな感じ？
システムがどう構成されているのかさすがに理解できなくなってしまったが、例えるとそんな感じ？
September 13, 2024 at 6:21 AM
OpenAI o1の説明に「応答する前により多くの時間をかけて考えるように設計」とあるが、これまでは思いつきでパッと答えてたのが、もうちょい熟考するようになったということなのかな？
システムがどう構成されているのかさすがに理解できなくなってしまったが、例えるとそんな感じ？
システムがどう構成されているのかさすがに理解できなくなってしまったが、例えるとそんな感じ？
新しく発表された OpenAI o1
一般的な質問なら OpenAI o1、但し遅い
広範な世界の知識を必要としない数学やコーディングなら o1-mini の方が速くて良いって感じなのかな
openai.com/index/openai...
一般的な質問なら OpenAI o1、但し遅い
広範な世界の知識を必要としない数学やコーディングなら o1-mini の方が速くて良いって感じなのかな
openai.com/index/openai...
OpenAI o1-mini
Advancing cost-efficient reasoning
openai.com
September 13, 2024 at 1:44 AM
新しく発表された OpenAI o1
一般的な質問なら OpenAI o1、但し遅い
広範な世界の知識を必要としない数学やコーディングなら o1-mini の方が速くて良いって感じなのかな
openai.com/index/openai...
一般的な質問なら OpenAI o1、但し遅い
広範な世界の知識を必要としない数学やコーディングなら o1-mini の方が速くて良いって感じなのかな
openai.com/index/openai...