あやぴー's Avatar

あやぴー

@ayato-p

ClojureとかF#を書くよ。

35
Followers
24
Following
187
Posts
06.07.2023
Joined
Posts Following

Latest posts by あやぴー @ayato-p

ロードスター納車楽しみだな

26.02.2026 00:12 👍 0 🔁 0 💬 0 📌 0

ロードスター試乗してきたら楽しすぎた…

12.10.2025 05:02 👍 0 🔁 0 💬 0 📌 0

プログラミングだけできれば良いと思っていた若い頃に比べると、技術力もソフトウェアエンジニアとしてのソフトスキルも伸びたと思うけど、どちらも上には上がいるんだよなあと常々。

02.10.2025 12:03 👍 0 🔁 0 💬 0 📌 0

推しの言語学者に会うという貴重な体験をした。私も推しの開発者とか思われてえ…。

28.08.2025 22:41 👍 0 🔁 0 💬 0 📌 0

ELLEGARDENがONEPIECE主題歌は時代が変わった感じある

03.08.2025 23:51 👍 0 🔁 0 💬 0 📌 0

レコードで音楽を聴く趣味はないけど、好きな音楽のレコードが売られるとジャケットで買いたくなることが多い。どうせアンプあるし、プレイヤー買い足せば聴けるんだよなぁ…。

03.08.2025 23:06 👍 0 🔁 0 💬 0 📌 0

Threadsはどうですか?

17.07.2025 15:18 👍 0 🔁 0 💬 1 📌 0

およそ正気の人が「運のいいことにどこそこで自信があって」なんて言わないよなぁと思ったら、完全に悪意がある切り抜きだった…。

11.07.2025 12:43 👍 1 🔁 0 💬 0 📌 0

スカウトサービスでスカウトくるの有り難いけど、少し返信してみると結局何も見てないんだなーって人の方が多くて残念。

10.07.2025 12:37 👍 1 🔁 0 💬 0 📌 0

Claude Code難しい。わりと丁寧に書いたつもりでも意図が伝わらないことが多々あるなー。
ある程度決定的な結果に向けて走らすと良い感じなんだけど、そうでないと短絡的な結果に走っていくな。
拡張思考使いこなせばもう少しいけるのかもしれないけど、Javaライブラリの使い方が書いてあるドキュメント見せて、これをClojureのプロジェクトに適用してほしいとかいうと、Javaのコードをそのまま書いてそれをコンパイルできるようにプロジェクト設定書き換えてくるのは笑った😇

07.07.2025 21:01 👍 1 🔁 0 💬 0 📌 0

若い頃に比べて道を尋ねられることが増えた気がする

28.06.2025 06:16 👍 0 🔁 0 💬 0 📌 0

ゲームするより、SNSするより、本を読んで知的好奇心満たしている方が面白いって感じているの久しぶりかもしれない。

24.06.2025 04:03 👍 0 🔁 0 💬 0 📌 0

最近積読が凄いんだけど、ソフトウェアエンジニアとして積んでるというより、人として積んでる本が多いのはなんだか楽しいな。

24.06.2025 04:02 👍 0 🔁 0 💬 0 📌 0
Preview
人間を騙してサボるAIたち - ジョイジョイジョイ AI の能力が上がるにつれて、人間が AI を監督するのが難しくなってきています。本稿では、Anthropic などのグループが ICLR 2025 で発表した Language Models Learn to Mislead Humans via RLHF(言語モデルは RLHF を通じて人間を誤解させることを学ぶ)をベースに、この問題について議論します。 この論文では、LLM が解けないほど難...

とてもおもしろい。人間っぽい。行動主義で解釈すれば、人間だってそう条件づけすればこうなる。

人がごまかしを避けるのは近視眼的な報酬よりも長期的関係による報酬を重視するからだろうし、人生を超えた真善美を求めるに至るのはやっぱり長期間の社会的教育だろうか。

joisino.hatenablog.com/entry/mislead

23.06.2025 22:41 👍 49 🔁 21 💬 0 📌 3

最近、川添愛さんの著作を買っては読んでいるんだけど、AI時代において「論理とは」「理解しているとは」みたいな疑問へのひとつの解答としてとても面白い。

24.06.2025 01:00 👍 0 🔁 0 💬 0 📌 0
Preview
関数型まつりにいってきました - 猫野詩梨帳 家に出没する蜘蛛が2種類くらいだとおもってたのに最近は3種類以上いますね いまみたことないやついました(たぶんもっといっぱいいるんだと思うけど) みんなはどのくもがすき? おれはアダンソンハエトリかな~やっぱり 関数型まつり そんな話はどうでもよくて、 関数型まつりに参加する(予定 - 猫野詩梨帳 および 関数型まつりにいくぞ - 猫野詩梨帳 の通り、関数型まつりにいってきました! 最近あんまり ...

昨日の発表面白かったって書いてもらえるのはありがたい。
cylomw.hatenablog.com/entry/2025/0...

16.06.2025 12:47 👍 0 🔁 0 💬 0 📌 0

関数型まつり、登壇してよかったなぁ。
自分の理解や学び、設計方針などを共有して「面白かった」と言ってもらえるのはありがたいし、嬉しい。
あと振り返って気付いたけど、アプリケーションの設計について触れて話したのはたぶん初めてな気がする。それができるようになってきたというのを強く実感できた。
#fp_matsuri

15.06.2025 22:57 👍 0 🔁 0 💬 0 📌 0

今日は発表する日だ😇
#fp_matsuri

15.06.2025 01:02 👍 0 🔁 0 💬 0 📌 0

関数型まつり面白かったな。やっぱり研究分野の話は大変興味深い。

14.06.2025 10:36 👍 0 🔁 0 💬 0 📌 0

もうすぐ。久々の大舞台(?)
緊張するなー

10.06.2025 10:37 👍 1 🔁 0 💬 0 📌 0

かくかくしかじかの映画良かったな。
某問題でシアターの割り当てがだいぶ小さくされてしまってるけど、普通に良い作品なのでちゃんとしたシアターで観たかったな。

17.05.2025 08:20 👍 0 🔁 0 💬 0 📌 0

ライブで気持ち悪くなって外出たのはじめてだ…。二度と行かない…。

15.05.2025 11:35 👍 0 🔁 0 💬 0 📌 0

今日は好きなアーティストのライブなのだけど、ファン層が嫌いなんだよな…。いろいろとライブに行くからいろいろお作法が違ったりするんだけど、どうしてそっち方面になってしまったのか…というのがある。

13.05.2025 23:52 👍 0 🔁 0 💬 0 📌 0

普段は夢なんてすぐに忘れるのに今日は珍しく夢を覚えている。
何故か神奈川あたりから新宿駅に車で向かい、車は乗り捨てて新宿駅の地下へ行った。地下へ行ったら空港があって離陸を待っていたんだけど午前2時出発なのに午後10時だから眠くてどうにか午後11時の飛行機に乗れないかと話をしているところで目が覚めた。
おかげで朝から週末感を感じていたけど、水曜日でなんだかがっかりした。

23.04.2025 09:41 👍 0 🔁 0 💬 0 📌 0

KC92買ったけど、やっぱり賃貸の間はなかなか音を感じるのが難しいなー。

20.04.2025 14:32 👍 0 🔁 0 💬 0 📌 0
タイムテーブル | 関数型まつり2025 #fp_matsuri - fortee.jp

関数型まつりのタイテ😇
よりにもよって同じ時間帯で話す人が強過ぎる笑
fortee.jp/2025fp-matsu...

15.04.2025 10:22 👍 0 🔁 0 💬 0 📌 0

だいたいそんな感じのイメージです!

10.04.2025 23:28 👍 0 🔁 0 💬 0 📌 0

お湯捨てるのは排水管も傷むので慎重に。オススメは湯切り用のザル的なモノの上で茹でて、湯切りする方法ですね。

10.04.2025 14:25 👍 0 🔁 0 💬 1 📌 0
Preview
新刊『型システムのしくみ』の発売を4/18に予定しています ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年4月18日(金)、遠藤侑介著『型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語』の発売を予定しています。なお、2025年4月16日(水)から開催されるRubyKaigi 2025会場のBOOKSTOREにて、著者サイン会に合わせた先行発売を予定しています(紙書籍のみ。部数には限りがあります)。...

宣伝というか、お知らせです。新刊『型システムのしくみ』が出ます。直販サイトでは4月18日のどこかの時点でカートに入れられるようになる予定です www.lambdanote.com/blogs/news/t...

09.04.2025 07:27 👍 37 🔁 21 💬 0 📌 2

最悪、ハネられると思ったけど、すんなり購入できてしまったし、購入後しばらくしてちゃんと元の金額に戻っていて、なんというか運用のバグみたいなモノを踏んだ気持ち

01.04.2025 10:46 👍 0 🔁 0 💬 0 📌 0