プログラミングだけできれば良いと思っていた若い頃に比べると、技術力もソフトウェアエンジニアとしてのソフトスキルも伸びたと思うけど、どちらも上には上がいるんだよなあと常々。
October 2, 2025 at 12:03 PM
プログラミングだけできれば良いと思っていた若い頃に比べると、技術力もソフトウェアエンジニアとしてのソフトスキルも伸びたと思うけど、どちらも上には上がいるんだよなあと常々。
推しの言語学者に会うという貴重な体験をした。私も推しの開発者とか思われてえ…。
August 28, 2025 at 10:41 PM
推しの言語学者に会うという貴重な体験をした。私も推しの開発者とか思われてえ…。
ELLEGARDENがONEPIECE主題歌は時代が変わった感じある
August 3, 2025 at 11:51 PM
ELLEGARDENがONEPIECE主題歌は時代が変わった感じある
レコードで音楽を聴く趣味はないけど、好きな音楽のレコードが売られるとジャケットで買いたくなることが多い。どうせアンプあるし、プレイヤー買い足せば聴けるんだよなぁ…。
August 3, 2025 at 11:06 PM
レコードで音楽を聴く趣味はないけど、好きな音楽のレコードが売られるとジャケットで買いたくなることが多い。どうせアンプあるし、プレイヤー買い足せば聴けるんだよなぁ…。
およそ正気の人が「運のいいことにどこそこで自信があって」なんて言わないよなぁと思ったら、完全に悪意がある切り抜きだった…。
July 11, 2025 at 12:43 PM
およそ正気の人が「運のいいことにどこそこで自信があって」なんて言わないよなぁと思ったら、完全に悪意がある切り抜きだった…。
スカウトサービスでスカウトくるの有り難いけど、少し返信してみると結局何も見てないんだなーって人の方が多くて残念。
July 10, 2025 at 12:37 PM
スカウトサービスでスカウトくるの有り難いけど、少し返信してみると結局何も見てないんだなーって人の方が多くて残念。
Claude Code難しい。わりと丁寧に書いたつもりでも意図が伝わらないことが多々あるなー。
ある程度決定的な結果に向けて走らすと良い感じなんだけど、そうでないと短絡的な結果に走っていくな。
拡張思考使いこなせばもう少しいけるのかもしれないけど、Javaライブラリの使い方が書いてあるドキュメント見せて、これをClojureのプロジェクトに適用してほしいとかいうと、Javaのコードをそのまま書いてそれをコンパイルできるようにプロジェクト設定書き換えてくるのは笑った😇
ある程度決定的な結果に向けて走らすと良い感じなんだけど、そうでないと短絡的な結果に走っていくな。
拡張思考使いこなせばもう少しいけるのかもしれないけど、Javaライブラリの使い方が書いてあるドキュメント見せて、これをClojureのプロジェクトに適用してほしいとかいうと、Javaのコードをそのまま書いてそれをコンパイルできるようにプロジェクト設定書き換えてくるのは笑った😇
July 7, 2025 at 9:01 PM
Claude Code難しい。わりと丁寧に書いたつもりでも意図が伝わらないことが多々あるなー。
ある程度決定的な結果に向けて走らすと良い感じなんだけど、そうでないと短絡的な結果に走っていくな。
拡張思考使いこなせばもう少しいけるのかもしれないけど、Javaライブラリの使い方が書いてあるドキュメント見せて、これをClojureのプロジェクトに適用してほしいとかいうと、Javaのコードをそのまま書いてそれをコンパイルできるようにプロジェクト設定書き換えてくるのは笑った😇
ある程度決定的な結果に向けて走らすと良い感じなんだけど、そうでないと短絡的な結果に走っていくな。
拡張思考使いこなせばもう少しいけるのかもしれないけど、Javaライブラリの使い方が書いてあるドキュメント見せて、これをClojureのプロジェクトに適用してほしいとかいうと、Javaのコードをそのまま書いてそれをコンパイルできるようにプロジェクト設定書き換えてくるのは笑った😇
若い頃に比べて道を尋ねられることが増えた気がする
June 28, 2025 at 6:16 AM
若い頃に比べて道を尋ねられることが増えた気がする
ゲームするより、SNSするより、本を読んで知的好奇心満たしている方が面白いって感じているの久しぶりかもしれない。
June 24, 2025 at 4:03 AM
ゲームするより、SNSするより、本を読んで知的好奇心満たしている方が面白いって感じているの久しぶりかもしれない。
最近積読が凄いんだけど、ソフトウェアエンジニアとして積んでるというより、人として積んでる本が多いのはなんだか楽しいな。
June 24, 2025 at 4:02 AM
最近積読が凄いんだけど、ソフトウェアエンジニアとして積んでるというより、人として積んでる本が多いのはなんだか楽しいな。
Reposted by あやぴー
とてもおもしろい。人間っぽい。行動主義で解釈すれば、人間だってそう条件づけすればこうなる。
人がごまかしを避けるのは近視眼的な報酬よりも長期的関係による報酬を重視するからだろうし、人生を超えた真善美を求めるに至るのはやっぱり長期間の社会的教育だろうか。
joisino.hatenablog.com/entry/mislead
人がごまかしを避けるのは近視眼的な報酬よりも長期的関係による報酬を重視するからだろうし、人生を超えた真善美を求めるに至るのはやっぱり長期間の社会的教育だろうか。
joisino.hatenablog.com/entry/mislead
人間を騙してサボるAIたち - ｼﾞｮｲｼﾞｮｲｼﾞｮｲ
AI の能力が上がるにつれて、人間が AI を監督するのが難しくなってきています。本稿では、Anthropic などのグループが ICLR 2025 で発表した Language Models Learn to Mislead Humans via RLHF（言語モデルは RLHF を通じて人間を誤解させることを学ぶ）をベースに、この問題について議論します。 この論文では、LLM が解けないほど難...
joisino.hatenablog.com
June 23, 2025 at 10:41 PM
とてもおもしろい。人間っぽい。行動主義で解釈すれば、人間だってそう条件づけすればこうなる。
人がごまかしを避けるのは近視眼的な報酬よりも長期的関係による報酬を重視するからだろうし、人生を超えた真善美を求めるに至るのはやっぱり長期間の社会的教育だろうか。
joisino.hatenablog.com/entry/mislead
人がごまかしを避けるのは近視眼的な報酬よりも長期的関係による報酬を重視するからだろうし、人生を超えた真善美を求めるに至るのはやっぱり長期間の社会的教育だろうか。
joisino.hatenablog.com/entry/mislead
最近、川添愛さんの著作を買っては読んでいるんだけど、AI時代において「論理とは」「理解しているとは」みたいな疑問へのひとつの解答としてとても面白い。
June 24, 2025 at 1:00 AM
最近、川添愛さんの著作を買っては読んでいるんだけど、AI時代において「論理とは」「理解しているとは」みたいな疑問へのひとつの解答としてとても面白い。
昨日の発表面白かったって書いてもらえるのはありがたい。
cylomw.hatenablog.com/entry/2025/0...
cylomw.hatenablog.com/entry/2025/0...
関数型まつりにいってきました - 猫野詩梨帳
家に出没する蜘蛛が２種類くらいだとおもってたのに最近は３種類以上いますね いまみたことないやついました（たぶんもっといっぱいいるんだと思うけど） みんなはどのくもがすき？ おれはアダンソンハエトリかな～やっぱり 関数型まつり そんな話はどうでもよくて、 関数型まつりに参加する（予定 - 猫野詩梨帳 および 関数型まつりにいくぞ - 猫野詩梨帳 の通り、関数型まつりにいってきました！ 最近あんまり ...
cylomw.hatenablog.com
June 16, 2025 at 12:47 PM
昨日の発表面白かったって書いてもらえるのはありがたい。
cylomw.hatenablog.com/entry/2025/0...
cylomw.hatenablog.com/entry/2025/0...
関数型まつり、登壇してよかったなぁ。
自分の理解や学び、設計方針などを共有して「面白かった」と言ってもらえるのはありがたいし、嬉しい。
あと振り返って気付いたけど、アプリケーションの設計について触れて話したのはたぶん初めてな気がする。それができるようになってきたというのを強く実感できた。
#fp_matsuri
自分の理解や学び、設計方針などを共有して「面白かった」と言ってもらえるのはありがたいし、嬉しい。
あと振り返って気付いたけど、アプリケーションの設計について触れて話したのはたぶん初めてな気がする。それができるようになってきたというのを強く実感できた。
#fp_matsuri
June 15, 2025 at 10:57 PM
関数型まつり、登壇してよかったなぁ。
自分の理解や学び、設計方針などを共有して「面白かった」と言ってもらえるのはありがたいし、嬉しい。
あと振り返って気付いたけど、アプリケーションの設計について触れて話したのはたぶん初めてな気がする。それができるようになってきたというのを強く実感できた。
#fp_matsuri
自分の理解や学び、設計方針などを共有して「面白かった」と言ってもらえるのはありがたいし、嬉しい。
あと振り返って気付いたけど、アプリケーションの設計について触れて話したのはたぶん初めてな気がする。それができるようになってきたというのを強く実感できた。
#fp_matsuri
関数型まつり面白かったな。やっぱり研究分野の話は大変興味深い。
June 14, 2025 at 10:36 AM
関数型まつり面白かったな。やっぱり研究分野の話は大変興味深い。
もうすぐ。久々の大舞台（？）
緊張するなー
緊張するなー
June 10, 2025 at 10:37 AM
もうすぐ。久々の大舞台（？）
緊張するなー
緊張するなー
かくかくしかじかの映画良かったな。
某問題でシアターの割り当てがだいぶ小さくされてしまってるけど、普通に良い作品なのでちゃんとしたシアターで観たかったな。
某問題でシアターの割り当てがだいぶ小さくされてしまってるけど、普通に良い作品なのでちゃんとしたシアターで観たかったな。
May 17, 2025 at 8:20 AM
かくかくしかじかの映画良かったな。
某問題でシアターの割り当てがだいぶ小さくされてしまってるけど、普通に良い作品なのでちゃんとしたシアターで観たかったな。
某問題でシアターの割り当てがだいぶ小さくされてしまってるけど、普通に良い作品なのでちゃんとしたシアターで観たかったな。
ライブで気持ち悪くなって外出たのはじめてだ…。二度と行かない…。
May 15, 2025 at 11:35 AM
ライブで気持ち悪くなって外出たのはじめてだ…。二度と行かない…。
今日は好きなアーティストのライブなのだけど、ファン層が嫌いなんだよな…。いろいろとライブに行くからいろいろお作法が違ったりするんだけど、どうしてそっち方面になってしまったのか…というのがある。
May 13, 2025 at 11:52 PM
今日は好きなアーティストのライブなのだけど、ファン層が嫌いなんだよな…。いろいろとライブに行くからいろいろお作法が違ったりするんだけど、どうしてそっち方面になってしまったのか…というのがある。
普段は夢なんてすぐに忘れるのに今日は珍しく夢を覚えている。
何故か神奈川あたりから新宿駅に車で向かい、車は乗り捨てて新宿駅の地下へ行った。地下へ行ったら空港があって離陸を待っていたんだけど午前2時出発なのに午後10時だから眠くてどうにか午後11時の飛行機に乗れないかと話をしているところで目が覚めた。
おかげで朝から週末感を感じていたけど、水曜日でなんだかがっかりした。
何故か神奈川あたりから新宿駅に車で向かい、車は乗り捨てて新宿駅の地下へ行った。地下へ行ったら空港があって離陸を待っていたんだけど午前2時出発なのに午後10時だから眠くてどうにか午後11時の飛行機に乗れないかと話をしているところで目が覚めた。
おかげで朝から週末感を感じていたけど、水曜日でなんだかがっかりした。
April 23, 2025 at 9:41 AM
普段は夢なんてすぐに忘れるのに今日は珍しく夢を覚えている。
何故か神奈川あたりから新宿駅に車で向かい、車は乗り捨てて新宿駅の地下へ行った。地下へ行ったら空港があって離陸を待っていたんだけど午前2時出発なのに午後10時だから眠くてどうにか午後11時の飛行機に乗れないかと話をしているところで目が覚めた。
おかげで朝から週末感を感じていたけど、水曜日でなんだかがっかりした。
何故か神奈川あたりから新宿駅に車で向かい、車は乗り捨てて新宿駅の地下へ行った。地下へ行ったら空港があって離陸を待っていたんだけど午前2時出発なのに午後10時だから眠くてどうにか午後11時の飛行機に乗れないかと話をしているところで目が覚めた。
おかげで朝から週末感を感じていたけど、水曜日でなんだかがっかりした。
KC92買ったけど、やっぱり賃貸の間はなかなか音を感じるのが難しいなー。
April 20, 2025 at 2:32 PM
KC92買ったけど、やっぱり賃貸の間はなかなか音を感じるのが難しいなー。
Reposted by あやぴー
宣伝というか、お知らせです。新刊『型システムのしくみ』が出ます。直販サイトでは4月18日のどこかの時点でカートに入れられるようになる予定です www.lambdanote.com/blogs/news/t...
新刊『型システムのしくみ』の発売を4/18に予定しています
ご来店ありがとうございます。新刊発売予定のお知らせです。
2025年4月18日（金）、遠藤侑介著『型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語』の発売を予定しています。なお、2025年4月16日（水）から開催されるRubyKaigi 2025会場のBOOKSTOREにて、著者サイン会に合わせた先行発売を予定しています（紙書籍のみ。部数には限りがあります）。...
www.lambdanote.com
April 9, 2025 at 7:27 AM
宣伝というか、お知らせです。新刊『型システムのしくみ』が出ます。直販サイトでは4月18日のどこかの時点でカートに入れられるようになる予定です www.lambdanote.com/blogs/news/t...