2025年3月2日のブックマーク (6件)

  • クルド武装組織、トルコとの停戦宣言 40年の闘争の末

    【3月2日 AFP】トルコの非合法武装組織クルド労働者党(PKK)は1日、刑務所で服役中の指導者アブドラ・オジャラン氏がPKKに解散と40年以上にわたる武装闘争の終結を求めたのに呼応し、トルコとの停戦を宣言した。 レジェプ・タイップ・エルドアン大統領は和平プロセスを支持しているが、PKKが解散の約束を守らない限り、トルコはPKKに対する戦いを続けると警告した。 親PKKのANF通信社によると、PKKの執行委員会は「(オジャラン氏の)和平と民主社会への呼び掛けを実現するため、きょうから停戦を宣言する」と発表した。 オジャランが今週、PKKの解散と武装解除を呼び掛けたのに対し、同委は「呼び掛けの内容に同意し、それを順守し実行する」「攻撃を受けない限り、われわれの部隊は武装行動を取らない」とした。 トルコ、米国、欧州連合(EU)によってテロ組織に指定されているPKKは、1984年から武装闘争を続

    クルド武装組織、トルコとの停戦宣言 40年の闘争の末
    objectiveworker
    objectiveworker 2025/03/02
    自治区が2つもある埼玉県。。。
  • 自分のコーディングスタイル(TDD/DDD/FP)をAIに叩き込む

    AI に自分のスタイルでコードを書かせたい。 自分のコーディングスタイルを端的にまとめると、たぶんこう。 TDD でミニマルにはじめるのが好き でも DDD で段階的にドメインモデリングもしたい 実装は関数型ドメインモデリングに寄せる これをAIに叩き込みたい。資料を読ませてプロンプトを作って、それにそって実装させる。 エヴァンスのDDDと軽量DDDの2つでやらせてみる。 コードはここ 自分のコーディングスタイルに合わせたプロンプトを作成する MCPエージェントで検索とURL展開を使える状態で次のように指示をした。(自作ディープサーチみたいなもの) インターネットでDDDについて調べさせる インターネットで関数型ドメインモデリングについて調べさせる インターネットでTDDについて調べさせる プロンプトとして使えるように要点を圧縮しろ 端的に圧縮しろ もっと圧縮しろ で、でてきたのがこれ。こ

    自分のコーディングスタイル(TDD/DDD/FP)をAIに叩き込む
  • 「うま!」オリーブオイルとワサビをパスタに和えると美味いよっての見かけて試したら絶品だった話「シンプルで美味しそう」「やってみよう」味付けは塩のみ、追加の具材もなしというシンプルなレシピ

    マッシ|エッセイスト @massi3112 イタリアのオリーブオイルと日のワサビは組み合わせると最強の味になる。調理する気がない時に茹でたパスタにオリーブオイルとワサビをかけて混ぜれば想像以上に美味しく出来上がる。 2022-04-26 12:35:38 マッシ|エッセイスト @massi3112 イタリアのオリーブオイルと日のワサビは組み合わせると最強の味になる。調理する気がない時に茹でたパスタにオリーブオイルとワサビをかけて混ぜれば想像以上に美味しく出来上がる。 2022-04-26 12:35:38 マッシ|エッセイスト @massi3112 日材に出会ってからアレンジの幅が広がって、イタリアにいたら考えられなかった料理とも出会えた。共通点と違いの両方が入ってるから面白い。書いたエッセイのパスタの話を試し読みできるのでよかったら読んでみてね。 日パスタは唯一無二!let

    「うま!」オリーブオイルとワサビをパスタに和えると美味いよっての見かけて試したら絶品だった話「シンプルで美味しそう」「やってみよう」味付けは塩のみ、追加の具材もなしというシンプルなレシピ
  • 中華製品って日本だと偏見であんまり売れないけどAnkerはめっちゃ売れてる→「Ankerはシンプルに品質がよい」「iPhoneも中国製」

    ぺるあん!! @XPERIAAAAAAAA ガジェット 5割 | VTuber 2割 | オーディオ 1割 | 電波 1割 | エロゲ,その他 1割 逆張りSONY大好きSONY信者 星読み @XPERIAAAAAAAAM2 @XperiaZ1_SOL23 lit.link/XPERIAAAAAAAA

    中華製品って日本だと偏見であんまり売れないけどAnkerはめっちゃ売れてる→「Ankerはシンプルに品質がよい」「iPhoneも中国製」
  • 数学科の院生が教える本当に初学者向けの数学書

    よくある話やる夫「やる夫は4月から数学科1年生!大学数学を極めるお!今日は意識高く屋にやって来たんだお!」 やらない夫「……お前、数学が好きなのはいいけども、二次試験の数学散々だったんだろ?無理すんなよ。」 やる夫「やらない夫は黙ってろお!やる夫は気出せば天才だお!」 やる夫「おっ、ここが専門書の棚かお。あった、杉浦光夫『解析入門Ⅰ』。これが欲しかったんだお!」 やらない夫「いや、それは『解析門前払い』として有名なで……」 やる夫「杉浦解析は名著だお!即レジだお!」 やる夫「さぁ、始めるお!最初は実数のことが書いてあるお!こんなの知ってるお!」 やる夫「2ページでもう加群とか可換群、可換環みたいな言葉が出てきたお。なんのことか分からないお」 『問1 $\mathbb{R}$(一般に体$K$)において次のことが成り立つことを示せ.(i) (R3)を満たす$0$は唯一つ.』 やる夫「(R

    数学科の院生が教える本当に初学者向けの数学書
  • AIをシステム開発に活かすコツ、全部書く|kmagai

    今や、AIを活用してソフトウェア開発すること自体は一般的になり、一種のブームと化している。 しかし、Web上で見かけるのはワンショットでテトリスを作る程度の小規模なプロジェクトの話がほとんどで、驚けるものの、正直あまり実用性は無いように感じる。 俺たちが当に知りたいのはテトリスの作り方じゃねえ!現実の中規模以上のシステム開発で、いかに楽に良いものを作れるかだろ! ということで、まずは弊社から現時点のノウハウを全公開しようと思う。 弊社ではCursorを1年以上活用(サービスがGAになったタイミングから全社員で利用)しており、一定のノウハウを蓄積してきている自負がある。ただ、あくまで一例ではあるので、ぜひみなさんの現場での活用事例も共有してほしい! 免責事項AIエディタでの開発は、LLMとAIエディタの進化に伴い、常に変化している。 そのため、この記事で述べる方法論は、現時点での、弊社での

    AIをシステム開発に活かすコツ、全部書く|kmagai
    objectiveworker
    objectiveworker 2025/03/02
    なんとなく思っていた、実践してた事が言語化されている。