Rustで型レベルプログラミング
はじめに 通常のプログラムは実行時（ランタイム）に1 + 1など様々な計算を行う。一方でコンパイラーを持つ言語では、コンパイラーの型検査やジェネリクスなどの機構を利用して、コンパイル時にも計算を行うことができる。このようなプログラミングを、コンパイル時に検査・推論される“型”[1]に注目して型レベルプログラミングと呼ばれる。 ランタイムの計算の中にはたとえばwhile(1);のような簡単な計算で無限ループといった停止しない状況に陥いることがある。コンパイル時にできる計算でこのように無限ループに陥いってコンパイルが停止しなくなってしまったら、プログラムを実行することなく自明なエラー（型があってないとか、Rustであればfreeするタイミングが自明でないなど）を検出しようというモチベーションが崩壊してしまう。したがってコンパイル時にできる計算とはランタイムに比べて非常に限定された計算しか許可さ
勝手に登録されたネットバンキングから不正送金される事案についてまとめてみた - piyolog
開設済みの銀行口座を狙って第三者が勝手にインターネットバンキングの利用登録を行い、それを悪用することで不正送金の被害に遭う事例が全国で相次ぎ報じられています。ここでは関連する情報をまとめます。 インターネットバンキングに勝手に登録して不正送金 2021年末頃から全国的にこの手口による不正送金事案が発生しており、被害者に対して電話でインターネットバンキングの利用登録に必要となる情報を聞き出し、その情報を使って勝手に利用登録を行う。登録したインターネットバンキングを通じて自身の口座に不正に送金が行われる。 インターネットバンキングの利用にはワンタイムパスワードの登録が必要で、利用者が口座開設の際に登録している電話番号から所定の番号へかけることで確認が行われるものがある。これに対しては「手続きに必要」などの指示を通じて被害者から電話を掛けさせることで確認作業を突破し、被害者自身は本人確認の行為を
Androidアプリのホーム画面に「技術・カルチャー」を選べるようになりました - はてなブックマーク開発ブログ
いつもはてなブックマークをご利用いただき誠にありがとうございます。はてなブックマーク開発チーム、ディレクターのid:yone-yamaです。 2022年9月5日（月）にリリースされたはてなブックマーク Androidアプリの最新バージョン（5.59.0）より、新たなホーム画面設定として「技術・カルチャー」を選択できるようになりましたのでお知らせいたします。 ホーム画面の設定について 各設定と、設定ごとに表示されるコンテンツ ホーム画面設定の切り替え方法 「技術・カルチャー」を提供する背景 最後に：ミュート機能（β）について ホーム画面の設定について これまでのはてなブックマーク Androidアプリでは、ホーム画面に表示されるコンテンツの種類を「総合」「一般」「時事」の3種類から選べるようになっていました。 今回リリースされたAndroidアプリ バージョン5.59.0では、このホーム画面
GraphQL Scalars便利だなぁ🚀
こんにちは、yunbooです。 今回はThe Guildという組織が開発しているGraphQLエコシステムのGraphQL Scalarsについての記事です。 余談なんですが、The Guildは今回紹介するGraphQL Scalars以外にも様々なエコシステムを提供しており、その代表格としてはGraphQL Code Generatorがあると思います。 他にも、たくさん便利なものを提供しているので、もろもろ見てみると役に立つ情報が得られたり、面白いと思います。 さて、本題ですがGraphQL Scalarsについて説明する前の前提知識として、GraphQLのScalar型について軽く説明します。 Scalar型とは GraphQLにはスキーマを定義する際に型が存在しますが、Scalar型とは プリミティブな値を表すもの フィールドが最終的に変換される、それ以上に分割出来ない型 Gra
信仰心を高めて時間で殴る投資術 - 本しゃぶり
積立投資で勝つには続ける必要がある。 そのためには市場への信仰が欠かせない。 インデックス投資を学びながら信仰心を高めよう。 知識が無いなら信仰で 前回、投資についての記事を書いた。 ついたブコメ。 これに限らず、最近の投資記事に対するコメントを見ていると、知識や論理で語ることの限界を感じる。投資に対する賛否に関わらず、金融リテラシーが低い上に思い込みが強い人がそれなりにいるからだ。そのような人たちは聞くには聞くが、決して悟らない。見るには見るが、決して認めない。結果、的外れなコメントに星が集まる。 もちろん全ての人がそうというわけではない。しかし、認められる人は既に適切な知識を持っているだろうから、これはこれで知識について書く意義が小さい。少なくとも俺が書ける程度の知識だと。 そこで別のアプローチを取ることにした。投資の知識ではなく、信仰を授けよう。インデックス投資は続けてこそ効果を発揮
マネージャーとNegative Capability - scrapbox - hotchemi
Negative Capabilityという概念を最近知った。詩人ジョン・キーツが提唱したとされている用語で「事実や理由を性急に求めず、不確実さや不思議さ、懐疑の中にいられる能力」を意味する。対義語はPositive Capabilityで、所謂課題解決能力の事。 我が身に翻ってみると思い当たる事が多く、特にマネージャーをやっているとこの能力の有用性を感じずにはいられない。例えばよく目にするのは以下の様な事象だ。 新しく入ってきたマネージャーが成果を出そうと張り切って色々提案するが、芯を外していたり合意を得られてなかったりで現場でハレーションが起きる ある問題を解決する為に新しいツールを導入するが、新しいツールが更なる問題を引き起こし以前より状況が悪化する 組織内で色々改善活動を試みるが、すぐには効果が出ず反応も芳しくないので心が折れてしまう これらはpositive capability
共感格差
21世紀の格差は、他者からの共感の格差をめぐるものになるだろう。 この記事で言いたいこと （社会的）共感は政治的・社会的リソースである。 物理的資産がリソースであるのと同様だ。 共感はアイデンティティごとに分配される(女性黒人LGBT,労働者階級,白人子供etc)。 共感は物理的資産と同じく分配に差がある。 共感の分配は主にマスメディアによってなされる。 トランプ大統領が当選する以前、労働者階級に関するメディアのツイートは60件、同性愛 LGBTに関するツイートは、9664件であった。 ツイートの比率は、労働者階級 60 対 LGBT 9664 で 161倍だ。 ツイートの差を共感の差だとみなせば、労働者階級とLGBTで大きな格差がある。 共感の格差を放置すれば、そこはポピュリストにつけこまれる。 もしあなたがポピュリストになりたければ、次のターゲットを狙うと良い。 ある程度人口ボリューム
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
