てとらα SI @TETRA_IT ちなみに30-40年前の日本が豊かだったかと言われると外食なんて滅多にせずコンビニもないから無駄買いせず、遊園地や家族のお出かけにはお弁当持参で行くのが普通という価値観で慎ましく暮らしてた気がする（お弁当没収された話がニュースになるくらい） 2024-11-25 08:38:47
2024年11月26日のブックマーク (10件)
-
igrep 2024/11/26
-
-
Deno 2.1: Wasm Imports and other enhancements
If Deno is not yet installed, run one of the following commands to install or learn how to install it here. # Using Shell (macOS and Linux): curl -fsSL https://deno.land/install.sh | sh # Using PowerShell (Windows): iwr https://deno.land/install.ps1 -useb | iex What’s New in Deno 2.1 First-class Wasm support Long Term Support release deno init --npm vite Dependency management Embed asset files in
-
児童買春サイトに攻撃 法を犯す自称ホワイトハッカーの正義感
この記事の3つのポイント 世直しを目的に法を犯すホワイトハッカーたちがいる 児童買春サイトや詐欺集団にサイバー攻撃を仕掛ける 悪の退治に一役買っており道義的ジレンマを突きつける ハリウッドの西部劇では悪党らに黒いカウボーイハットを、善玉の主人公には白いカウボーイハットをかぶらせることが、古典的な演出技法である。転じて米国ではサイバー攻撃などの違法行為に手を染めるハッカーを「ブラックハットハッカー」と呼ぶ。 一方でハッキングの能力を生かし、ブラックハットハッカーから企業や個人を守っている善玉の情報セキュリティー専門家を「ホワイトハットハッカー」という。日本では単に「ホワイトハッカー」や「ブラックハッカー」と呼ぶことが多い。 分類が難しいのが、ホワイトハッカーを自称しながら、大義を掲げて違法行為に手を染める者たちだ。 毒をもって毒を制す 「私は長年ホワイトハットとして活動してきた。けれども、こ
-
-
口コミ偽造も「２００～３００件」 「ごりごり書く」 無断転用の会社：朝日新聞デジタル
保育士向けの職場紹介サイトを運営する会社（東京都渋谷区）が、保育園に関する「口コミ」を他社のサイトから無断で転用していた問題で、同社が口コミの偽造も行っていたことがわかった。無断転用を朝日新聞に指摘…
-
-
リストのconsの型をA -> list A -> list AではなくA -> list (list A) -> list Aにした型をHaskellとCoq/SSReflectで定義したい - Qiita
リストのconsの型をA -> list A -> list AではなくA -> list (list A) -> list Aにした型をHaskellとCoq/SSReflectで定義したいHaskellCoqssreflectリスト形式検証 はじめに 本記事はTPP2024で発表した内容になります。 リストlistの型は通常nilとconsの2つのコンストラクタから定義されますが、 型変数Aに対し、cons A型をA -> list A -> list AではなくA -> list (list A) -> list Aに変更した型をHaskellやCoq/SSreflectで定義する方法について記述します。 ソースはこちら Haskellで定義する まず、この型の名前をSSeqとしてHaskellで実装したものは以下のようになります。
-
-
-
- 2024年11月27日
- 2024年11月26日
- 2024年11月25日
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Copyright © 2005-2025 Hatena. All Rights Reserved.
設定を変更しました