長年プログラマ

違和感を感じたときは早めの受診を…🏥

ですよね、急に寒くなった!

体調管理を例年以上に気をつけなきゃ…
久し振りに常駐案件、フルタイム

ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発 井上亜星 著 228ページ A5判 ISBN：978-4-908686-21-4 プログラミングと数学をつなぐ／ソフトウェアとして数学を扱いたい人、そして数学の力をソフトウェアに結びつけたい人にとってのプログラミング言語、Lean。本書では、動作するプログラムとして自然数と整数を構築することで、数学とソフトウェアがLeanによってどう結び付けられるかを確かめながら、Leanによりソフトウェアを開発...

コリもせず読んでます…数理証明界隈
ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発 – 技術書出版と販売のラムダノート share.google/27SpxuasBapA...

うわー、サーバーのCSSインジケータが点いてる…気温か、HDDか…うーん
#SERVER

「覚えるのが面倒」と言う部分もいろんな人に使ってもらうことで改善するかもですね、苦労が報われることを祈っております。

確かに（あなたの）努力は（私には）価値がない。
けれど結果が出ないからと言ってその努力が（あなたにとって）価値がないなんてことはない。
だからその努力を自分自身で否定しないでほしい。

[第1話]ルリドラゴン - 眞藤雅興 | 少年ジャンプ＋ <隔週月曜更新>ある朝 目覚めるとツノが...!?ドラゴン少女が日々をがんばらなかったり、がんばったり、やっぱりがんばらなかったり...な、作品です。よろしくおねがいします▲▲ [JC3巻発売中]

初回全話無料のマンガアプリ「少年ジャンプ＋」で『ルリドラゴン』を読んでます！ #ジャンププラス #ルリドラゴン shonenjumpplus.com/app/episode/...
ぬーん…更新されないな…眞藤先生、大丈夫かな…

不安でも、苦しくても、ただ頑張って前に進む事しか知らないので、今日も前に進もう。
たとえ、ほとんど進んでいないように見られているのだとしても。

は？なんか納得いかんな…
www.mbs.jp/news/kansain...

プロジェクトをプレゼンター、ドメイン、リポジトリに分けた…のは良いが、ぐぬぬ…テストが通らなくなってしまった。
あれ？
#softwaredevelopment #flutter #個人開発

時間ができた！
チャンス！個人開発を進めるぞ！
#softwaredevelopment
#個人開発

flutterでアプリを作ってるけど、色々発見や再考するべきことがあり自分の未熟さを痛感させられるなぁ。
でも、まだまだ成長できる余地があるとポジティブに捉えることも出来るか？

次案件の問い合わせが入ってきたが…内容を聞いて迷っている。
なんだか、炎上してるっぽいんですよね…

spring bootとか偉大ですよね

C++ Reflection（P2996R10） - yohhoyの日記 次期C++2c(C++26)標準規格に向けて検討が進んでいる リフレクション(reflection) についてメモ。本記事の内容はP2996R10に基づく。要約： 新しい演算子：^^、[:と:]の組 新しい構文 リフレクト式：^^識別子、^^型名 スプライサ構文：[:r:] constevalブロック宣言：consteval { statement(s) } 新しい標準ヘッダ<meta> std:...

c++は久しく触ってないが、リフレクションがドラフトされていてちょっと驚いた！

yohhoy.hatenadiary.jp/entry/202503...

#c++ #programming #softwaredevelopment

ドメイン名を決めるときはハイフンを避けたほうが良い気がする。
Javaとかだとパッケージ名にそのまま使えなかったり…
#softwaredevelopment #programming

最終的にはスマホサイズ＋外部モニタになるような気がする。

この姿勢は見習いたい。
つい「もうちょっと出来てから…」になりがち…

今こそエンジニアはCode-basedなドキュメンテーションを行うべきだと思ったので、その思想と方法をまとめる

実装と乖離しない（乖離の少ない）ドキュメントは本当に助かることが多い。
逆にメンテされていないドキュメントは混乱の本だと思う。

zenn.dev/ryokomy/arti...

あわわわ…

なんかね、日本語が理解できなくなってきた…気がする。

こうした、骨格や筋肉、その可動域などへの理解がより上手い絵になる礎なんですね！

DeepSeek、中国政府にデータ送信機能　米報道 - 日本経済新聞 【ヒューストン=花房良祐】米ABCテレビは、中国の新興企業DeepSeek（ディープシーク）が開発した生成AI（人工知能）を巡り、利用者のデータを中国政府に送信する機能を有していると報じた。米国のDeepSeekに対する警戒感が一段と高まりそうだ。専門家がDeepSeekのプログラミングコードを分析したところ、利用者のデータが中国政府の影響下にあるサーバーに送られる機能を有することが分かったと

今さらだよなぁ…

#AI #DEEPSEEK

DeepSeek、中国政府にデータ送信機能　米報道 - 日本経済新聞 www.nikkei.com/article/DGXZ...

その怖さが強力な武器になるのがC言語ですね

ガントチャートは分かりやすい見た目をしているけどプロジェクトをマネジメントする人はPERTも見たほうが良いと思います…

プログラミング言語は何か一つを使えるようになると、同じパラダイムの別言語を覚えるときの労力が減りますよ。

反響有るのは嬉しいですよね！

「効率化」とか「生産性向上」とかは、先ず自分自身定時退社するための工夫だと思ったらいいんじゃないかな。
会社のためとかはその後で考えていけばいい思う。
#softwaredevelop

あかん、全然やる気がおきない…
_(:3」∠)_