Logic programming in Rust
use ascent::ascent; ascent! { relation edge(i32, i32); relation path(i32, i32); path(x, y) <-- edge(x, y); path(x, z) <-- edge(x, y), path(y, z); } fn main() { let mut prog = AscentProgram::default(); prog.edge = vec![(1, 2), (2, 3)]; prog.run(); println!("path: {:?}", prog.path); } Features Lattices Ascent supports computing fixed points of user-defined lattices. The lattice keyword defines a lat
無印良品のランドセルの思い出 - プロムナード
ワークマンが8,800円のランドセルを売り出すというニュースが「はてなブックマーク」で話題になっていた1。そのニュースに対する反応を見ていて思い出したのだが、私も無印良品の安いランドセルを使っていた。それについて書く。 今ではもう売っていないようだが、かつて無印良品もランドセルを取り扱っていた。一般にランドセルは数万円するところ、無印のランドセルは当時6,150円だった。私は2005年に入学したのだが、ちょうどその年の新入生に合わせて発売された製品のプレスリリースがインターネットに残っていた。 出典：良品計画プレスリリース 6歳の私はどう思っていたか。ませた子供だったので、これがランドセルの相場に比してかなり安いらしいということは理解していた。でも普通のランドセルよりむしろかっこいいなと思っていて、わりと気に入っていたように思う。 ところで、なぜ親は数あるランドセルのなかでこれを選んだのだ
「ガザへの連帯、国際法の希望示した」ＩＣＪの存在感と暫定措置命令：朝日新聞デジタル
","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
関東地方で桜餅を騙っている簀巻き野郎について
桜餅といえば、粒感のあるピンク色の餅で餡を丸く包んで桜の葉を巻いた和菓子だ。関西で生まれてこのかた、「桜餅」と言われればまずこれだった。それ以外の「桜餅」の存在なんて想像すらしていなかった。 ところがどうだ、東京に来てみれば見慣れないやつが桜餅を名乗っていた。平べったい生地で餡をロールケーキのように巻いてその上からさらに桜の葉を巻いた和菓子。関東ではこれを「桜餅」と呼ぶらしい。 アホか。どこが餅だ。今日からきみは桜クレープと名乗りなさい。おしゃれぶりやがって。なんだその軽やかなフォルムは。ヨックモック気取りか。洋菓子のパーティにでもお呼ばれしているのか？大体その葉っぱはなんだ。意味があるのか？その桜の葉っぱはな、本物の桜餅をそのまま触ると手がべたついてしまうから巻かれているんだよ。きみは見たところ結構さらさらしているようだが本当に桜の葉っぱが必要だったか？そのまま手でつまんで食べられそうな
｢伝説のエンジニア｣が明かすエヌビディアの死角
コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能（広告ブロック機能を持つ拡張機能等）を無効にしてページを再読み込みしてください。 ✕
【リリーアルバこと奥本有里】国民民主党が東京３区に擁立しようとしている不誠実なスピリチュアル似非医療系候補者｜弁護士山口貴士 aka 無駄に感じが悪いヤマベン
国民民主が東京３区に擁立予定の奥村有里氏は、株式会社Lilly Albaの代取、一般財団法人日本スピリチュアルカウンセリング協会の理事でスピリチュアルカウンセラー。万能細胞DNAクリアリングセッションと称し、ガンや認知症に効くと称するセッションを１時間２万円で行っていた人。知っていて公認？ https://t.co/c8ih4lj0nm — 山口貴士 aka無駄に感じが悪いヤマベン (@otakulawyer) February 16, 2024 珍しくバズり、１３５万６０００件のインプレッションとなり、Xからチビッとだがお小遣いも頂いた。 これに対し、上松医師という放射線科医が以下のようなツイートで私のツイートを引用したところ、 デマや中傷はいけない事だと思いますがこれは事実ですか？事実だけど法令違反でないから良いという考えでしょうか？このようなお金の為に平気で人を死に追いやる人を見てき
「目を疑う」「恥ずかしくないのか」 イスラエル外相との会談風景にカットスイカ...外務省のX投稿に批判相次ぐ
ディスプレイには「WE WON'T STOP」の文字も 問題となっているのは、外務省公式Xの「2月28日、辻外務副大臣は、訪問先のイスラエル で、先般訪日したビンノン外務省政務局長との会談も踏まえ、カッツ外相と会談しました」という投稿だ。 ポストに記載された外務省公式サイトの報道発表ページには、辻外務副大臣がカッツ外務大臣に対し、「ガザ地区の危機的な人道状況を深刻に懸念しているとした上で、人道支援活動が可能な環境を確保し、また人質の解放につながるような人道的停戦が速やかに実現し、そして、持続可能な停戦が実現することを期待している」こと、「我が国は二国家解決を一貫して支持しており、両当事者の交渉によってのみ、和平が実現できると考えているとする日本の立場」を述べたことなどが記されている。 投稿には会談の様子を写した写真も添えられた。テーブルに座る出席者一人ひとりの前に切り分けられたスイカが置か
ガザで子ども１０人が餓死、「人工飢餓」とイスラエル批判 国連
ガザ地区北部にあるジャバリヤ難民キャンプで、倒壊した建物の前を歩くパレスチナ人/Mahmoud Issa/Reuters （ＣＮＮ） 世界保健機関（ＷＨＯ）は１日、交戦に伴って人道危機が続くパレスチナ自治区ガザ地区で餓死した子どもは少なくとも１０人に達したとの声明を発表した。 国連高官は先に、ガザへの支援物資の搬入をめぐるイスラエル側の規制は厳しく、「人為的な飢餓が創出されている」とも断じていた。 ＷＨＯのリンドマイヤー報道担当者は、不幸にも飢えに襲われて亡くなる子どもはさらに増えることが予想されるとも指摘。食料や支援物資の欠乏は悲惨な状態にあり、食料供給は意図的に遮断されているとも主張した。 ガザの総人口は２２０万人以上。国連人道問題調整事務所（ＯＣＨＡ）によると、住民４人に１人が食料確保で壊滅的な被害を受けている窮状にある。約１１７万人が食料危機の「緊急局面」に遭遇しており、約５０万人
支援物資待ちの群衆にイスラエル軍が攻撃、１０４人死亡 ガザ保健省
シファ病院で治療を受ける負傷したパレスチナ人＝２月２９日、ガザ地区/Dawoud Abo Alkas/Anadolu/Getty Images （ＣＮＮ） パレスチナ自治区ガザ地区の保健省は２月２９日、ガザ市西部で支援物資を待っていた群衆にイスラエル軍が発砲し、１０４人が死亡、７６０人が負傷したと発表した。 ＣＮＮは死傷者数を独自に検証できていない。 空腹の人々が食料を得ようと、支援物資を積んで到着したばかりのトラックに群がっていたところにイスラエル軍が銃撃を始めた。 イスラエルの当局者はＣＮＮに「群衆が威嚇するようにイスラエル軍に近づいてきたため」に発砲したと説明。この件については現在検証中だとも述べた。 目撃者がＣＮＮに明らかにしたところによると、現場から逃れようとしたトラックが誤って人々をはね、この事故でも死傷者が出たという。 シファ病院の救急担当の医師は、死亡した４０人が同病院に運
長く活躍できるエンジニアになるためには？ 技術者として大切にしたいこと
フロントエンドのパラダイムを参考にバックエンド開発を再考する / TypeScript による GraphQL バックエンド開発
本に書いてあるスクラムと、お前らのいうスクラム開発は別物だということにいい加減気づいてくれ
前振り タイトルは煽りの激しい釣りです。ごめんなさい。 Web業界で今流行っている自称スクラムと、RSGTで語られるような本来のスクラムとの間のギャップが大きすぎて説明が面倒臭くなったのでこの記事を書きました。 いい加減「私たちは自称スクラム開発を完璧に回しているから、スクラムの恩恵を将来得られるだろう」「私たちは本来のスクラムとはかけ離れた別物のスタイルで開発をしている。だからスクラムの恩恵は永遠に得られない」という二重思考を他人にするようお願いするのにも飽きましたしね。 さて本題といきましょう 本題 世間で、特に渋谷や五反田や六本木のWeb企業ではスクラムというものはとても流行っています。 しかしどう考えても、Web企業でよくお目にかかるスクラムと国内トップカンファレンスであるRSGTで語られるスクラムとの間には大きな隔たりがあります。 「うちはスクラムやってます」 カジュアル面談で耳
オンラインゲーム 10年の進化と同期方式の選び方 - きゅぶろぐ
オンラインゲームを作ろう！と思ったことがある方は、 こちらの講演記事を1度は見たことがあるのではないでしょうか。 www.4gamer.net こちらの講演は、具体例を交えながら非常に分かりやすくオンラインゲームの主な同期方式が説明してあり、 2024年現在でもオンラインゲームの基礎を学ぶ資料として真っ先に名前を上げる最高の資料です。 しかしながら講演は2010年のものであり、オンラインゲームはこの10年余りで進化しています。 この辺りの進化の話を簡単にまとめつつ、オンラインゲームの同期方式の選び方を紹介します。 （上記講演記事の知識/用語を前提としているため、先に上記記事をお読みください。） オンラインゲームの民主化について 技術の話をする前に。 近年、「マルチプレイヤーゲーム」と聞いてオフラインの画面分割ゲームを想像する人はいないと言って良いほど オンラインゲームは民主化されてきました
保守・理解しやすいコードを書きたい！ 〜VSCode拡張機能で循環的複雑度と戦う〜 - Qiita
参考: 循環的複雑度 ちなみに githubで最もやべー関数を発掘するという記事では、循環的複雑度が高い関数が紹介されています。 ものによってはリンク切れしてしまっていますが、最も複雑度が高いのはnode（JavaScript）のjo関数で5505だそうです。想像もつかない... どのようにすれば循環的複雑度を低く抑えられるのか？ 計算方法から考えると、forやifによる分岐を減らしていくことが必要となります。 そのために、分岐の入るロジックを別関数として切り出し、１つの関数でやる事を絞り、分離することを理想として目指していきます。 とはいえ、いちいち複雑度の計算なんてしていられないですね。 そこで役に立つのが次のVSCode拡張機能です。 Code Metrics （VSCode拡張機能） この拡張機能は、TypeScriptやJavaScriptの関数・メソッドに循環的複雑度を表示して
ものすごく健康に気を遣って何年も摂生していた人が末期がんになり｢今まで気を付けて我慢していた事って何なんだろう｣って泣いていた患者さんを見たことがある
Dr. Cat @dramerica88 酒も赤身肉も加工肉も脂肪分も体に良くない事は分かってるんやけどさ、ものすごく健康に気を使って摂生した生活を何年も送った末に末期癌になって自分が今まで気をつけて我慢してた事って何なんだろうって泣いてた患者さんも知ってるから、少し気をつけるくらいがいいのかなって思ってる。 Dr. Cat @dramerica88 そうやって気をつけてなければもっと早くに癌になってたかもとか、そういうのは関係なかったとか、色んな考え方があると思うけどね。家族性のものもあるし。 Dr. Cat @dramerica88 癌とか病気ってこれ食べなければならないとかこういうことしなければならない、みたいなシンプルなものでなくて、複雑な要因が絡まってるのよね。何がどれくらい病気のリスクになるかはそれぞれの要因によってもその人によっても違うのよね。
なぜ、あなたの意見は通らないのか？｜三宅孝之
「会議で、なぜか自分の意見が通らないんです」 最近、若手からこんな相談を受けました。話を聞くと、どうやら「意見の内容」自体が悪いわけではないのです。 会議がはじまって15分後ぐらいに、自分の意見を言ったのだけど、いまいち反応がよくない。 それで２時間ほど話し合ったあとに、自分が言ったのと同じような意見を、別の人が言った。するとなぜか「いいね！」となって、話がまとまったーー。 「え？」と思いますよね。「俺、嫌われてるのかな……」「もっと出世して発言力がつくまで、自分の意見は聞いてもらえないんだろう」と。 しかし、そんなことはありません。 あなたの意見が通らないのには、別の理由があります。もちろん、意見の内容がいいことは大前提。ただ、僕の経験上「正しい意見」だからといって、必ずしもスムーズに合意がとれるわけではありません。 意見を通すのにも「技術」がいるのです。 今回は、僕がこれまで社内、クラ
マネジメント半年くらいの自分へ - Konifar's ZATSU
あの頃の俺に伝えたい内容を雑に書く。 本を読め お前が困ってることはたいてい先人の知恵によって体系化されている。経験から学ぶことも大事だが、歴史から学ぶことを常に継続しろ。 他社のマネージャーと話せ 社内のことで手一杯なのはわかるが、思った以上に視野が狭くなっているぞ。社外の人間と話すとそれに気づくはずだ。緊張を乗り越えて直接声をかけたりイベントに出向いたりしてみるといい。思考が整理され、きっと解決の種が育つ。 引き出しを増やせ マネジメントは成長がわかりづらい。不安になったらマネジメントの引き出しを増やすことに集中しろ。メンバーへの物事の伝え方、意思決定の前の整理の仕方、やり方は無数にある。何個違うやり方にチャレンジできたかを数えてみるといい。 どこで成果を出すかを決めろ 自分の期待は自分で合わせろ。やること、やらないこと、頼りたいことを明文化しないと全てが自分の責任のようにすれば感じて
ストロング系酎ハイの次は「居酒屋の飲み放題」が絶滅する！“タバコの次は酒”に現実味
くぼた・まさき／テレビ情報番組制作、週刊誌記者、新聞記者、月刊誌編集者を経て現在はノンフィクションライターとして週刊誌や月刊誌へ寄稿する傍ら、報道対策アドバイザーとしても活動。これまで200件以上の広報コンサルティングやメディアトレーニング（取材対応トレーニング）を行う。 著書は日本の政治や企業の広報戦略をテーマにした『スピンドクター "モミ消しのプロ"が駆使する「情報操作」の技術』（講談社α文庫）など。『14階段――検証 新潟少女9年2カ月監禁事件』（小学館）で第12回小学館ノンフィクション大賞優秀賞を受賞。 新刊『潜入 旧統一教会 「解散命令請求」 取材NG最深部の全貌』が発売中。 情報戦の裏側 できれば起きてほしくない「不祥事」だが、起きてしまった後でも正しい広報戦略さえ取れば、傷を最小限に済ませることができる。企業不祥事はもちろん、政治家の選挙戦略、芸能人の不倫ネタまで、あらゆる事
娘が同級生に「CANMAKEなんて買っちゃダメ、Diorとか本当に良い化粧品にするべき。仕上がりの満足度が違うし大切に使うから結果コスパも良い」と言われた
梅子@コレステロールと闘う @yz12tYY8NOSBkq8 🧑スタバで生クリーム増量したりロイホでパフェ食べたりモスでシェイク飲んでるほぼNHKしか見ないアラフィフのおばさん🧁#虎に翼#光る君へ👧中高一貫校に通うマイペース中2娘 梅子@生クリーム増量中 @yz12tYY8NOSBkq8 娘が同級生に「CANMAKEなんて買っちゃダメ、Diorとか本当に良い化粧品にするべき。仕上がりの満足度が違うし大切に使うから結果コスパも良い」と言われたって うちのイモ子は真に受けてお年玉から買うと言うし、そんなことを吹き込む中1はどんなおなごじゃ！と学校行事に行ってきた 可愛い子でしたね 梅子@生クリーム増量中 @yz12tYY8NOSBkq8 「イモ子」に刺さっているお若い方々へ 昭和からタイムスリップしてきているおばさんなので、身内を謙遜してしまう不適切な点は認めるわ そして良かったら覚えて
ガザ地区南部ハンユニスの病院 8人死亡 イスラエル軍が突入 | NHK
イスラエル軍が突入し、その後も軍事作戦を続けているガザ地区南部ハンユニスの病院では作戦の影響で8人が死亡したほか、およそ200人の患者が取り残されていると見られ、WHO＝世界保健機関は一刻も早い患者の転院が必要だと訴えています。 イスラエル軍は南部ハンユニスにあるナセル病院でハマスの戦闘員が活動し、人質の遺体が残されている可能性があるなどと主張して、今月15日に突入し、18日も作戦を続けました。 イスラエル軍はナセル病院内で武器を発見したと発表しているほか、ガラント国防相もこれまでにハマスの戦闘員およそ70人を病院での作戦で拘束したと発言しています。 これに対しガザ地区の保健当局は70人が拘束され、いずれも医療スタッフだとしているほか、病院が停電して酸素の供給ができなくなったためすでに8人の患者が死亡し、さらに数十人が死亡するおそれがあるとしていて、危機的な状況が続いているとみられます。
「ラファに手を出すな」 イスラエルのガザ攻撃に抗議 新宿 | 毎日新聞
パレスチナ自治区ガザ地区を支配するイスラム組織ハマスが2023年10月7日、イスラエルへの戦闘を開始しました。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
