by Republic of Korea 第266代ローマ教皇であるフランシスコ教皇の公式Instagramアカウントがセクシーな画像を「いいね！」したとして、バチカンが内部調査を開始しました。 Pope Francis Under Fire Again for Allegedly 'Liking' Another Racy Picture on Instagram https://www.news18.com/news/buzz/did-pope-francis-just-like-another-racy-photo-on-instagram-models-viral-tweet-claims-so-3207830.html 2020年12月23日、アダルトシーンでも活動するMargot(@margot_foxx)さんがフランシスコ教皇の公式アカウントから「いいね！」を受けたというスク
【衝撃動画】フランスで「アジア人を見かけたらみんなで殴ろうデモ」「アジア人狩り」発生中か / 実際にブン殴られた人も | バズプラスニュース
事実ならば、あまりにも衝撃的かつ悲しい事態が発生している。パリをメインとしたフランス国内で、中国人や日本人などのアジア人に対する差別が拡大して発生しており、暴行を受けたアジア人がいるというのである。 ・アジア人を見かけたらみんなで殴ろうデモ フランスではアジア人が新型コロナウイルスの元凶であるとした考えを持った人たちがおり、今までも少なからず存在したアジア人に対する差別的な行為が増大。一部の情報によると「アジア人を見かけたらみんなで殴ろうデモ」「アジア人狩り」が発生しているとのこと。事実ならばあまりにも酷すぎる残酷な行為だ。 ・Twitterで注意喚起や差別反対の声 日本語でこの事態を報じているマスコミやジャーナリストはほぼ皆無で、フランスやヨーロッパ在住の人たちがTwitterで注意喚起や差別反対の声をあげている。しかし、その声もあまり拡散しておらず、膨大なインターネット情報のなかに埋も
Search, watch, and cook every single Tasty recipe and video ever - all in one place! News, Politics, Culture, Life, Entertainment, and more. Stories that matter to you.
テスト駆動開発のはじめの一歩｜t_wadaさんに聞く1人で始める自動テストのコツと考え方 - Agile Journey
アジャイル型の開発が導入されていない現場であっても、そして一人であっても、実践可能なアジャイルに関するプラクティスは存在します。 例えば、自動テストや、テストファースト、テスト駆動開発（TDD：Test Driven Development）です。ユニットテストフレームワークを使ってテストコードを書いて開発しながらテストを実行する「自動テスト」、実装の前にそのテストコードを書く「テストファースト」、テストと実装を繰り返しながらインクリメンタルに設計・開発を行うのが「TDD」。これらプラクティスのなかで、はじめの一歩となるのが自動テストですが、1人で実践するには、どこからはじめるか、どうテストを組み立てればよいのか、あるいは自分のテスト方法は適切なのか、不安を持つこともあるでしょう。 そこで本稿では、さまざまなチームや組織へのテスト手法の導入を支援し、精力的に講演や執筆などを行ってきたこの分
シェル芸を法律で禁じて欲しい
パイプでつないでawk使ってハッカー気分かもしれないけどお前の書いてるスクリプトクソクソクソオブクソだから おとなしく Pythonで subprocess 使え！！！！！！！！！！！！！！ ＜追記＞ 本物のハッカーである皆さんはどしどし使ってくれて大丈夫ですよ＾＾； lispmemo シェル芸とシェルスクリプトは異なる概念では? そうですね、熱くなって言い過ぎました。 個人がターミナルに打ち込む一度きりのコマンドはOK、ファイルに保存した瞬間に違法としましょう。 ＜追追記＞ いやあ思いのほかBuzzっちゃって＾＾； awkの代替がsubprocess？ awkは適当に思いついたから入れただけでパイプ使ってるんだから他のコマンドも入ってますよ＾＾； grepとかsedとかPythonで同様のことができる（実行時間が現実的な範囲で収まる）ならPythonの関数でお願いします。 読めないのか
WebAssembly入門 ─ Webフロントエンドの現実的なユースケースを知り、Wasm製アプリケーションを体験してみよう！｜ハイクラス転職・求人情報サイト AMBI（アンビ）
ハイクラス求人TOPIT記事一覧WebAssembly入門 ─ Webフロントエンドの現実的なユースケースを知り、Wasm製アプリケーションを体験してみよう！ WebAssembly入門 ─ Webフロントエンドの現実的なユースケースを知り、Wasm製アプリケーションを体験してみよう！ WebAssembly（Wasm）は、ブラウザー上で直接動くプログラミング言語として、JavaScriptを置き換える期待が寄せられますが、実際にWasmが果たすべき役割や適したユースケースとはどういったものでしょうか？ Wasmの動作を体験するチュートリアルとあわせて、山本悠滋（igrep）さんが解説します。 WebAssembly（以下、略称の「Wasm」と呼びます。「キャズム」や「～イズム」などからの類推なのか「ワズム」と発音するようです）とは、ブラウザーをはじめとするさまざまな環境で動作する、仮想マ
書評：GitHub Copilot とのペアプロ TDD でつくるローグライク RPG - 若くない何かの悩み
本記事は「GitHub Copilot とのペアプロ TDD でつくるローグライク RPG」の書評です。題名にローグライクRPGとあるのでゲーム開発の本なのかなと思ってしまいますが、本題は仕様の端的な表現をもたないシステムを LLM を使って真っ当に開発する方法の解説だと思います。タイトルにローグライクRPGと書いていることでゲーム開発に興味のない人の興味を失わせてしまい損をしている気がします。 背景 最近の LLM の流行を受けて私も Chat-GPT や GitHub Copilot といった LLM を開発で利用しています。端的に仕様を表現できるシステムは LLM に質問して実装を得る方が自分で実装するより圧倒的に速く正確であるという感想を抱いています。ただ端的に仕様を表現できるシステムばかりではありません。えてして価値を生んでいるシステムというのは端的な仕様の表現が存在しないもので
by tazzanderson Googleはこれまで検索エンジンのほかにGmailやGoogle アナリティクス、Googleドキュメントなど多くのサービスを提供していますが、すべてのサービスが成功したわけではなく、中には惜しまれながら提供を終了したものもあります。シアトルにあるGoogleの社屋内に「終了したGoogleサービスの墓場が登場した」と話題になっています。 Google finally gives Reader the respect it deserves with an actual gravestone - The Verge https://www.theverge.com/tldr/2019/10/4/20899198/google-reader-gravestone-crypt-rip-picasa-buzz-wave-orkut 「気味悪いのか、それともただ悲
１．概要 普段業務効率化のためにExcelのVBAを使用することが多いですが①VBEが使いにくい、②GitHub Copilotを購入しているため有効活用したい という理由でVS CODEを使用したいと思っております。 下記記事を参考にしながら、VS CODEでもVBAを編集できるようにしたいと思います。 ２．環境構築 環境構築として大きく分けて下記があります。 Excelから標準モジュール（所謂VBAの中身）を抽出したり、編集後のファイルを統合してくれるスクリプトをダウンロード VS CODEに必要なExtensionを追加して設定の追加 Excelとbinフォルダの準備 なお本当はgit(Version管理システム：変更箇所の差分を表示してくれるツール)を使った方が良いのですが、まだ勉強不足のため今回はgit無しで作成しました。 なお初期設定としてExcelの「開発者向けマクロの設定：
この記事は、クソアプリAdvent Calendar2021の20日目(ホノルル時間)の記事であると同時に、GMOペパボエンジニア Advent Calendar 2021の21日目(日本時間)の記事でもあります。 みなさん、TypeScript使ってますか？TypeScriptはJavaScriptの世界に秩序をもたらす素晴らしい言語ですね。 しかし世界には光の秩序だけでなく闇の混沌も必要です。 という訳で、JavaScriptに闇の混沌をもたらす新言語を作ってみました。 その名も『TypoScript』です。 TypoScript is 何 TypoScriptとは何か。まずはこちらのコードをご覧ください。 function fizz_buzz(count) { for (var i = 1; i <= caunt; i++) { if (i % 3 === 0 && i % 5 ==
アイドルグループ「BANZAI JAPAN」の筑後ののかさんは、2021年10月20日に出演予定だったライブイベントに「集合駅ミス」で間に合わず、「本当に申し訳ありませんでした」と謝罪した。 ライブ会場の最寄り駅は新高島駅（横浜市西区）だったが、筑後さんは新高島平駅（東京都板橋区）に行ってしまったのだ。ツイッターユーザーからは「これは...どんまいwwww」「難しい！仕方ないよね」と筑後さんを気遣う声が聞かれている。 新高島平→新高島の移動は1時間半ほど... 「BANZAI JAPAN」は14年に結成されたアイドルグループ。公式サイトによると「日本がどや顔で誇れる文化を世界に向けて発信していくプロジェクトとして結成されたアイドルユニット」だ。メンバーごとに担当の「都道府県」が割り当てられており、筑後さんは岩手県を担当している。 この日のBANZAI JAPANは、横浜市・みなとみらい地区
ジャニーズ事務所の代表取締役社長であり、芸能プロモーターでもあるジャニー喜多川社長(87歳)が亡くなったことがわかった。ジャニー喜多川社長は以前から体調が芳しくなく、健康状態が心配されていた。 ・ジャニーズタレントが病院に集結 2019年6月18日(木曜日)正午過ぎ、ジャニー喜多川社長が体調を著しく崩し、都内の病院へ緊急搬送された。その直後からジャニーズ事務所所属のタレントが次々と病院を訪れ、まさにジャニーズタレントが集結したともいえる状況となった。 ・報じないマスコミに「忖度しているのでは」 テレビや雑誌、インターネットニュースメディアなどがジャニー喜多川氏の死去を報じないことに対して「忖度しているのでは」「箝口令が出ているのでは」との噂が出ているが、芸能記者のひとりは以下のように話す。 ・芸能記者のコメント 「亡くなったことを報じないマスコミに対して「忖度している」とか「箝口令が出てい
はじめに（8/3追記） この記事を一旦書いたあと、重要な追加証言が得られたため、追記修正しています。結論もやや変わっていますが、現時点のほうがより正確です。 本編：ここから ディープラーニングが現在これだけ流行っている1つの要因は、TensorFlowやPyTorchなどのフレームワークが非常に便利だからです。ニューラルネットワークの設計、訓練、そして分類などの推論がフレームワークを使えばとても簡単に行なえます。 普通に使っている人達は、これらのフレームワークを『ツール』あるいは『ライブラリ』だとみなしていると思います。でも実際のところ、これらはプログラミング言語です。より正確に言えば、すべてのディープラーニングフレームワークはディープラーニング計算用DSL（Domain-Specific Language、ドメイン特化言語）と見なせます。このDSLは大抵、Pythonなど他の汎用言語への
『プリコネR』コッコロはいつからママになったのか──コッコロ役の声優・伊藤美来さんから見た”真面目なガイド役”から”ママ化”するまでの経緯とは
「四国は右左折5回ぐらいで回れる説」を検証してみた！ 淡路島南PAを出発し徳島・香川・愛媛と回ったら高知市内まで右左折なし 少女の名はコッコロ。Cygamesが手掛けるスマホ向けドラマチックアニメRPG『プリンセスコネクト！Re:Dive』（@priconne_redive）に登場する女の子だ。 年齢は11歳、身長は140cm、あどけない見た目の美少女だが、こう見えて一部のユーザーから「ママ」と呼ばれて親しま（甘えら）れている。 コッコロママ。11歳。 主人公のガイド役ということで、その献身的な立ち振る舞いや世話焼きっぷりから、彼女に“母性”を感じる。わかる。非常によくわかる。しかし、ストーリーをよく見ていくと“ママらしからぬ”描写をちらほら見かけるのも事実だ。 コッコロを「ママ」と呼ぶムーブメントは、あくまで一種の“バブみ”【※】文脈から一部のユーザーのなかで親しまれている非公式的な愛さ
YouTube収益激減でユーチューバー危機 涙目ブチギレ激怒「お金が入らないならやらない！」 1 名前：リバースネックブリーカー(東京都) [MA]：2020/11/08(日) 20:05:53.62 ID:OUONtbgf0 ユーチューバーとは、YouTubeに動画を掲載している人たちのこと。再生回数が上がるたびに収入が増えていくため、人気者のユーチューバーほど高収入。 トップクラスのユーチューバーになるとタワーマンションや高級住宅に住めるほどの富豪にもなれるのだが、そんなユーチューバーたちが涙目になりながら悲鳴を上げている。 いままではYouTubeから一定の収益を得られていたが、突如として収益が激減し、生活できないレベルに陥っているというのだ。 一部のユーチューバーの情報によると、13000回以上も再生されておきながら、収益が16円だったという。その数字が正しければ、13万回再生でも
【ソフトウェア設計】モジュールをどう分割するのか？
はじめに 前々回や、前回に引き続き、ソフトウェア設計の指針に関する話をしたいと思います。 関数やクラス、そしてサービスなどシステムの塊の単位をモジュールと呼び、モジュールを作る事で、認知負荷を下げ複雑性と戦うという話をしてきました。では、モジュールは「いつ」分割するのが良いでしょうか？ また、他にも共通モジュールを不用意に作ってしまって苦労した人も多いのでは無いでしょうか？ 今回はそのあたりの話をしていきます。 TL;DR 以下があればモジュール設計を見直す 単純な要件/普段の利用に対して、タイプ量や約束事が多い 共通モジュールが「使われ方」に依存する モジュールの役割を一言で説明できない コード管理や性能/データ整合性など利用に際してのペナルティが高い 分割 is NOT 正義 - FizzBuzz Enterprise Edition 複雑性を排除するためにモジュール分割をすることは重
のように、式を変形してから代入するというテクニックが使えます。 もちろんこの式変形はxとyがどんな実数のときでも成り立ち、特定の値だとうまく行かない、なんてバグはありません。 割り算を含むような式では、「0で割るのは未定義」といったアサーション条件もきっちり定義されています。 数学で習ったたくさんの式たちは、どれをどう組み合わせてもバグがないのです。 プログラミングをしていて、たくさん作ったクラスやメソッドのどれをどう組み合わせてもバグがない状態なんて、ちょっと考えられませんよね。 バグの少ないプログラムを書きたい こんなことを考えてみましょう。 バグのない関数の組み合わせだけで全部の処理が書けるだろうか？ 「関数の組み合わせ」と言うのは、 関数Aの返り値を関数Bの引数として渡す という意味です。四則演算もれっきとした関数です。Scalaなんかでは"+"とか"-"もちゃんと標準ライブラリの
Vue.jsを使った開発でよく悩まされるのがコンポーネントの肥大化です。複雑なアプリケーションになると、1つのコンポーネントが<script>ブロックだけで数百行…なんてこともめずらしくないでしょう。従来、Vue 2までの標準的な書き方では、UIとしてのコンポーネントの細分化はできてもロジックの分割や整理には限界がありました。しかし、Vue 3のComposition APIを活用すると、はるかに柔軟な整理・分割が可能です。 「Composition APIは難しそうだからまだ使っていない」という方、あるいは「導入はしているけどイマイチメリットがわからない」という方は、この機会にぜひComposition APIを活用したコンポーネントの整理術を試してみてはいかがでしょうか？ なぜ、Vueのコンポーネントは肥大化するのか？ 簡単な例を見てみましょう。下のサンプルはミニマムなアナログ時計のコ
ロリコンオタクのせいで日本人がネットから排除されていた
はてな村村長の語りに便乗して昔話しちゃおうかな 結構多くのWEBサーバのアクセス制限で.co.jp .ne.jp .jpがdeny設定されていたって話である。 https://b.hatena.ne.jp/entry/s/twitter.com/kanose/status/1601270223386324992 2005年までの個人サイト＆自宅サーバブーム個人のネット利用で大きな転換点は2005年くらいで、例えばブログのはしりのはてなダイアリーサービス開始は2003年でアルファブロガー選考開始は2004年、youtubeサービスインが2005年だが、これらの特徴は「アカウントをとって企業のWEBサービスを利用する」という、今では当たり前の方法だ。 だがこの以前にはそういう方式のものは少なく、ISPや借りたレンタルサーバに自分でコンテンツをアップロードして構築するというのが主流だった。 これ
AI時代にこそTDDだと思う話
GitHub Copilot、みなさん使ってますか？すでに多くの方が利用しており、「ないと困る」という方から「提案の質に問題がある」「まだまだ使えない」という方まで、様々な意見を聞きます。 筆者はGitHub Copilotに対して非常にポイティブな立場です。GitHub Copilotは使い方次第で開発速度を格段に向上させることを身をもって体験しており、これからの時代においてはGitHub CopilotなどのAIツールを使いこなせるかどうかで、個人の開発速度に非常に大きな差が出ると考えています。 重要なのは使い方次第と言う点です。前述のように様々な感想が溢れているのはAIツールの習熟度が大きく影響しているようにも感じます。AIツールは静的解析同様、利用者側の手腕が大きく問われるツールであると筆者は感じています。コマンドプロンプトエンジニアリングという言葉もあるように、AIツールを使いこ
オッス！ヨッピーです！ 「大人がなりたい職業」の1位に「（WEB)ライター」が選ばれたということで、かれこれ10年ほどライターとして生計を立てている僕が「オッ！なんやお前ら！ライターに憧れてんのか！！そうや！ワシがライター様やぞ！ひれ伏せ！！！！」みたいなテンションでジャカジャンとインターネットの向こう側から飛び出してまいりました。 大人がなりたい職業ランキング1位はライター、2位は? https://news.mynavi.jp/article/20211203-2212517/ しかしながら同業であり現役のライター諸氏がTwitterで流れてきたこの結果を見て「悪いことは言わねぇ！ライターは、やめとけ……！」とか「おい、死ぬぞ……！」とか、口々に戦場帰りの帰還兵みたいな事を言うから笑ってしまいますね。 そこで、僭越ながら（たぶん）WEBライターという職業が世に出てきたかなー、ぐらいのタ
春の新生活、ブラウザ乗り換えのススメ：｢Google Chrome｣やめて｢Microsoft Edge｣にしませんか？
春の新生活、ブラウザ乗り換えのススメ：｢Google Chrome｣やめて｢Microsoft Edge｣にしませんか？2021.04.08 20:00113,017 David Nield - Gizmodo US ［原文］ （ そうこ ） というお誘い。 今、この記事をなんのブラウザで見てます？ Chromeじゃない？ Chromeでしょ？ Chromeだよね？ 2008年のリリース以来メジャーブラウザとして多くの人に利用されてますからね、Chromeは。が、MicrosoftがEdgeをリブートして新たにリリースしたChromium版Edgeもオススメさせてください！ Chromeと同じくChromiumuをベースにしたChromium版Edgeなら、ブラウザ変更も比較的楽ちんだよ。 Microsoft Edgeは、現在、Windows、macOS、Android、iOSで配布されて
【衝撃】三浦瑠麗のCM動画をAmazonプライムが公式YouTubeから削除 / 批判者の圧力に屈したか | バズプラスニュース
Amazonプライムビデオは、インターネットショッピングサービス「Amazon」が運営している動画配信サービスだ。激安価格で映画やドラマが見放題なだけでなく、オリジナル番組も多いことから、世界中で支持されているサービスである。そんなAmazonプライムビデオが大炎上している。 ・三浦瑠麗さんの思想に反対する人たち AmazonプライムビデオがテレビCMの出演者として三浦瑠麗さん(39歳)を起用したところ、一部の人たちから猛烈な批判の声があがり、インターネット上で大炎上状態となった。怒っている人たちの大半は三浦瑠麗さんの思想に反対する人たちのようで、彼女がCMに出るたび、不快な気持ちになるようである。 ・三浦瑠麗さんが出演しているCM動画が削除 三浦瑠麗さんがAmazonプライムビデオのCMに登場するたびに不快に感じている人たちが、TwitterなどのSNSで三浦瑠麗さんをCMから消すように
Bram Moolenaar the Creator of Vim 2023年8月5日、悲しい知らせが入ってきました。長年、多くのエンジニアに愛され今もなお使われ続けているテキストエディタVimの作者Bram Moolenaar氏が同月3日に亡くなったという知らせです。ショックでしばらく信じることができませんでした。 筆者は長年Vimを使い、Vimに多くのコントリビュートを行ったり、その都度Bram氏と対話したり議論したりしてきました。そのBram氏が突然、この世界からいなくなってしまったことをしばらく受け入れられなかったからです。 本記事では追悼の意味を込め、Bram氏がどのようにVimの開発を始め、Vimがどのように広まっていったのか、また長年Vimを追い続けてきた筆者から見たBram氏の人物像を筆者の思いを交えて解説していきます。 Vimの歴史 Bram氏についてお話しする前に、まず
【ツイッターで毎週トレンド入りするサービス開発者が教える】再現性を持って「バズ」るサービスを作る方法 - AppBrew Tech Blog
こんにちは。れとるときゃりー(@retoruto_carry)と申します。 AppbrewではPdM・デザイナー・フロントエンドエンジニアをやっています。 プライベートでは、個人開発でみんなのボタンメーカーというサービスを運営したりしています。 ほぼ毎週ツイッターのトレンドに乗るような、所謂「バズ系」のWebサービスで、月に50万人くらいに利用してもらっています。 ツイッターをやっている方は、なんとなく見たことある気がする人も多いのではないでしょうか？ みんなのボタンメーカー 今回は、その知見を活用し、お仕事で「LIPSショッピング」というコスメの買い物ができるサービスのバズキャンペーンの企画・デザイン・実装を行いました。 コスメクーポンガチャ ちょうどいいので、それを題材にして、再現性をもって「バズ」るサービスを作る方法について話していこうと思います。 キャンペーンはかなり好評で、ツイッ
【衝撃】シン・エヴァンゲリオン劇場版:||の碇シンジはコピー人間 / 本人は「破」で他界している可能性大 | バズプラスニュース
シン・エヴァンゲリオン劇場版:||の上映がシン型コロナウイルスの影響により延期となり、いまだに解き明かされていないヱヴァンゲリヲン新劇場版:Qの謎が解明されるのは先になりそうだ。「少なくとも上映は2020年10月以降」との情報もあるが、公式情報として新たな公開日は示されていない。そんな状況のシン・エヴァンゲリオン劇場版:||だが、あまりにも衝撃的な情報が入ってきた。 ・碇シンジはすでに「破」で命を落としている 作品の主人公である碇シンジが、すでに他界している可能性が高いというのである。しかも碇シンジが他界したタイミングは明確にハッキリとしており、ヱヴァンゲリヲン新劇場版:破のラストの時点で命を落としたと推測されているのだ。 ・しかしQにも完結篇にも登場しているが？ しかし、碇シンジはヱヴァンゲリヲン新劇場版:破の続編であるヱヴァンゲリヲン新劇場版:Qに冒頭から登場しており、予告編を観るかぎ
こういうツイートを見た。 Scala (or Java) で、jsonのdiffをpatchファイルみたいな感じでわかりやすいテキストで出力してくれるライブラリないかなあ。そしてjacksonに依存してないといいな— Arthur (@Arthur1__) 2024年1月13日 現代のプログラミングではJSONの差分を取ったり、逆にパッチを当てるということがよくある。可能ならそれがPretty Printできると良い。 JSONの差分をScalaで取る方法についていくつか調べてみたのでメモ。 JSONの差分をどう表現する？ JSON Patch diffson diffsonでJSON Patchを生成する diffsonでJSON Patchを適用する diffsonでJSON Merge Patchを生成する diffsonでJSON Merge Patchを適用する JSON Pat
この記事はRust Advent Calendar 2021の12/24日の記事です。 仕事ではScalaを使っていますが、趣味のプログラミングではRustで書いたものが増えました。Rustは楽しいですね。 今回は、Rustでオブジェクト指向プログラミングに関数型デザインを導入することで、スケーラブルなプログラムを書く方法(スケーラブル・プログラミング)について書きます。 「スケーラブル・プログラミング」といえばScalaです。Scalaの「スケーラブル」という言葉には「小さいプログラムも大規模なプログラムも同じ概念で記述できるべきである」という、柔軟性や拡張性を重視した設計の意図が込められています。それを実現するために必要なものは、オブジェクト指向と関数型を組み合わせたマルチパラダイムな設計です。 Scalaはマルチパラダイム言語の先駆者(今も先頭を走り続けています)ですが、他の言語にも
Google、「Workspace」に関し“誰でも無料に”、「Room」を「Spaces」に、などの発表 米Googleは6月14日（現地時間）、オフィススイート「Google Workspace」（旧「G Suite」）に関連するプラン追加や新機能追加などを発表した。 Google Workspaceは、米Microsoftの「Microsoft 365」のようなオフィススイート。「Gmail」「チャット」「ミート」「ドライブ」「カレンダー」「ドキュメント」「スプレッドシート」「スライド」などのサービスをグループウェアとして利用するための組織向けオンラインアプリセットだ。 Workspaceを全Googleアカウントユーザーが利用可能に Googleは「本日より、Googleアカウントを持つ人なら誰でもWorkspaceを利用できるようにした」と発表した。実際にはもちろん有料の企業向けプ
畳み込みの視点から見たforall(every)とexists(some): 空集合に対するforallは常にtrueになる - Lambdaカクテル
こういうツイートが話題になっていた。 「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき、空の配列を渡したらfalseを返すかtrueを返すかが、良いプログラマかどうかの一つの境目だ— ふみ (DJ Monad) (@fumieval) 2023年5月29日 つまりScalaで言うと次のようなコードが何になるか、というものである。 val xs = Seq.empty[Int] xs.forall(_ == 42) 結論から言うと、このような関数は常にtrueを返す。 なぜだろう？その理由をこれから説明する。 ちなみに他に以下のような意見があった: 仕様による 例外を投げるべき いずれもまぁありえなくはないが、やめておいたほうが良いと思う。もし仮にfalseを返すような仕様があった場合、それは数学から乖離しているのでいずれ仕様内部で矛盾する可能性が高いし*1、最終的に
Google、新サインイン方式「パスキー（Passkey）」の Google アカウントサポート開始 「2 段階認証プロセス」に対する別オプションとして「パスキー」を設定可能に パスワードの終わりが始まる Google は 2023 年 5 月 3 日（水）、ちょうど一年前の 2022 年 5 月にオンライン認証技術標準化団体 FIDO Alliance や、Apple、Microsoft と共に発表していた、パスワード不要新規格「FIDO 認証（FIDO2）」を用いた新しいサインイン方式「パスキー（Passkey）」の、Google アカウントにおけるサポート開始を発表しました。 「パスキー」は昨年 2022 年 10 月よりベータ版として、Android と Chrome に提供開始済み。日本国内でも、NTT ドコモの共通 ID サービス「d アカウント」における新しいサインイン認証と
鎌倉の海水浴場にパリピが船で侵入 動画が公開され大炎上 1 名前：ゲマティモナス(埼玉県) [MA]：2020/08/17(月) 18:02:32.10 ID:TobLMaa10 絶対に許されない無法者が出現し、多くの人たちが怒りに震えている。神奈川県鎌倉市の由比ヶ浜ビーチに突如として現れた船が、岸スレスレに航行し、多くの海水浴客が危険な状態に陥った動画が公開され、炎上しているのである。 ・海水浴客が泳いでいるなかに船で突っ込んでいく 問題視されているのは、由比ヶ浜ビーチで撮影された動画だ。そこには、たくさんの海水浴客が泳いでいるなかに船で突っ込んでいき、岸スレスレに航行するようすが記録されていた。 ・無法者たちはパーティーピーポーか 船に乗っている複数の無法者たちはパーティーピーポーのように船上でくつろいでおり、映画「タイタニック」のワンシーンのように船首に立ち、あたかも「私は女神よ！」
消費者は4回評価する。だからファンが大切。だから刹那的なインフルエンサー起用は意味が薄いというお話。｜池田紀行@トライバル代表
昨日公開したこちらの記事がよく読まれているので、気を良くして第二弾。もうちょっと掘り下げて、なぜファンが大事なのか、なぜ（フォロワー数が多いだけの）ファンでもないインフルエンサー起用にあまり意味がないのかをまとめます。 前の記事の最後にも書きましたが、ファンでなくても、フォロワー数が多く、インプレッションやリーチ力が大きい従来型のインフルエンサーにも一定の「宣伝効果」はあります。 「新しいガリガリ君のXX味食いてー！」「今年の冬にスタバから出たXXラテがおいしすぎて！」などは、ターゲットが広く、全フォロワーが顧客になる可能性があるため、たとえファンじゃなくても、そしてたとえ単発的だったとしても、「広告としてのリーチ効果」はちゃんと出ます。 でも、これはあくまでも単発的な露出効果。投資ではなく費用。ストックではなくフロー。持続可能ではなく持続不能なんです。 経済的な契約が終了した時点で、その
2024年3月1日に16枚目となるアルバム『Hopium for the Masses』の発売を控えているアメリカのインダストリアル・メタル・バンドMinistry。 バンドの中心人物であるAl Jourgensenは現在65歳であるが、未だ精力的にライブを行っており各国のメタル系フェスティバルに出演。去年はGary Numan、Front Line Assemblyとのツアーを成功させ、来月から再び怒涛のツアーが始まる。 2018年に発表された『AmeriKKKant』以降、ドイツの老舗メタル・レーベルNuclear Blastを拠点にアルバムを出しており、Ministryのエクストリームなインダストリアル・メタル・スタイルは止まらず更新され、Al Jourgensenの創作意欲は尽きることなく形となって届けられている。近い将来、1stアルバム『With Sympathy』を再録するとい
ダイの大冒険が鬼滅の刃をパクったと盗作疑惑「完全に鬼滅のパクリだな」 1 名前：ゆうちゃん(東京都) [MA]：2020/10/20(火) 14:14:11.44 ID:qPjBT6zR0 人気漫画「鬼滅の刃」が空前絶後の勢いで大ブームを起こしており、漫画、アニメ、そして映画と、ありとあらゆる分野で世界中のファンが熱狂している。特に映画作品「劇場版 鬼滅の刃 無限列車編」は猛烈な勢いで観客が押し寄せ、記録的な興行収益を得ている。そんななか、ひとつの問題が浮上している。 鬼滅の刃では、主人公の竈門炭治郎は修行の過程で、師匠から「剣で大岩を斬りなさい」という指示を受ける。そして人気テレビアニメーション「ダイの大冒険」のワンシーンで、主人公のダイは修行の過程で、師匠から「剣で大岩を割りなさい」と指示を受ける。そう、ダイの大冒険に鬼滅の刃と酷似したシーンがあると指摘されているのである。 事実として
台湾の厚生省の一部署にあたる衛生福利部疾病管制署(重度疾病対策署 / Centers for Disease Control)が発行している小冊子が、日本で大きな話題となっている。小冊子の表紙には、疾病(疾患)を擬人化した美男美女のイラストが描かれているのだが、あまりにも本格的すぎるのである。 ・絵の完成度があまりにも高い 注目を集めているのは、衛生福利部疾病管制署が疾病に対する注意喚起や情報を広めるために発行している「DISEASE」だ。その表紙には疾病擬人シリーズとして、あらゆ疾病を擬人化したイラストが掲載されており、その絵の完成度があまりにも高いため、多くの人たちが絶賛しているのである。 ・注意喚起の効果としては絶大 いままでも疾病を擬人化したり、キャラクター化して注意喚起をするパターンは世界各国であったが、この「DISEASE」のようにリアルで高精細な擬人化は非常に稀であり、多くの
NimはPythonのようにシンプルな構文を持ちながら、C言語と同等の速度で動かすことができるプログラミング言語です。そのため、ゲーム開発からシステムプログラミング、Web開発とさまざまな用途で活用されています。今回は、効率性と表現力が魅力のNim言語の魅力に迫ってみましょう。 シンプルな構文を持ち実行速度が速いNimでFizzBuzzを実行したところ Nimとは Nimは2008年にドイツの開発者アンドレアス・ランプフによって開発されたプログラミング言語です。最初のNimはPascalによって書かれており、その後すぐにNim自身で書き直されました。 Nimの特徴は、Pythonのようにスッキリとした構文を採用しており可読性が高いことです。型推論を備えていることから静的型付き言語ながら記述が少なくすみます。また、強力なマクロとテンプレートの機構を備えており、メタプログラミングが可能です。
FizzBuzz.txt(8エクサバイト)
FizzBuzzFS FizzBuzz問題といえば定期的にSNSで話題になっては変な解法が発明されることでおなじみですが(?)、ファイルシステムを使った事例が見当たらなかったのでやってみました。 まあ見ての通りというか…… /mnt/FizzBuzz に FizzBuzz.txt(8エクサバイト)があって、FizzBuzzが書いてあります。 どこまでも…… 容量の続く限り…… 以上！！！！！！！ 技術解説 FUSE FUSE(Filesystem in USEr space)というソフトウェアを使うことで、簡単に新しいファイルシステムを実装することが可能です。 Rustにおいては、fuse crateの更新が停止した結果フォークが複数存在するようですが、利用者数と更新頻度的にfuser crateを使うのがよさそうです。 FileSystem traitが実装された値をmount2関数に渡
感染症専門医がおすすめする 新型コロナの正しい最新情報が得られるWebサイトまとめ（忽那賢志） - エキスパート - Yahoo!ニュース
毎日新型コロナウイルス感染症に関する報道が続いています。 中には正しく情報を伝えているメディアもありますが（例えばBuzz Feedは今回の新型コロナウイルス感染症関連の記事は素晴らしいものが多いです）、一部には過剰に不安を煽る報道や間違った報道もあります。 感染症は間違った情報が独り歩きしやすく、テレビのワイドショーの言うことを鵜呑みにするのではなく、ご自身で正しい情報にアクセスすることが大事です。 一般の方が新型コロナウイルス感染症について情報を得るために有用なWebサイトをご紹介します。 感染者数などの情報 東京都東京都 新型コロナウイルス感染症 対策サイト 東京都 新型コロナウイルス感染症対策サイト 3月7日時点での表示東京都の新コロサイトですが、これは素晴らしいです。東京都民の皆さまはぜひご覧ください。 「検査陽性者の状況」では陽性者数のうち何人が入院して、そのうち何人が重症かが
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ローマ教皇がエッチな写真に「いいね！」したとしてバチカンが調査を開始
なぜ漫画家にジワ売れ？「スマホでレシートをスキャンする道具」製作者も予想していなかった意外な用途とは
Google社屋に「終了したGoogleサービス」の墓が本当に登場
VBA基礎５：VS CODEでVBAを編集（ariawase）｜KIYO
新言語『TypoScript』を作った - Qiita
「新高島」と「新高島平」間違える ライブ遅刻のアイドルが謝罪「あり得ないことをしてしまった」
【訃報】ジャニー喜多川社長が死去 / ジャニーズ事務所が近日発表へ | バズプラスニュース
『微分可能プログラミング』はどこから来たのか - bonotakeの日記
YouTube収益激減でユーチューバー危機 涙目ブチギレ激怒「お金が入らないならやらない！」 : 痛いニュース(ﾉ∀`)
なぜmapやreduceやfilterなのか〜前編｜こわくない関数型プログラミング
コンポーネントを小さく・きれいに設計しよう。Vue Composition APIを活用したコンポーネント分割術 - ICS MEDIA
https://marketing.twitter.com/content/dam/marketing-twitter/apac/ja/insights/kakusan/kakusan.pdf
祝！「なりたい職業1位！」ライターの仕事について解説するよ｜ヨッピー
追悼 Bram Moolenaar ～Vimへの情熱と貢献を振り返る | gihyo.jp
JSONの差分を取ってJSON Patchを得るにはdiffsonがおすすめ - Lambdaカクテル
Rustを使ってスケーラブルなプログラムを書く方法 - かとじゅんの技術日誌
Google、「Workspace」に関し“誰でも無料に”、「Room」を「Spaces」に、などの発表
Googleアカウント「パスキー」導入！パスワードの終わりが始まる
鎌倉の海水浴場にパリピが船で侵入 動画が公開され大炎上 : 痛いニュース(ﾉ∀`)
Ministryが日本のV系に与えた影響｜梅ヶ谷雄太
ダイの大冒険が鬼滅の刃をパクったと盗作疑惑「完全に鬼滅のパクリだな」 : 痛いニュース(ﾉ∀`)
【絶賛】台湾の厚生省が発行する小冊子が気合入れすぎてて話題 / 疾病を美男美女イラスト化 | バズプラスニュース
世界のプログラミング言語(47) PythonのようにシンプルでC言語のように高速な言語Nimを試してみよう