This domain may be for sale!
あまり世の中で知られてない言語として配列処理(Array-Processing)言語という一群の言語があります。いずれもAPLというプログラミング言語から発展したもので、J・Q・Kといった言語が代表的です。これらの言語は「Array Processing」の名前の通り、配列、とくに多次元配列の処理に特化しています。 APLの流れをくむ言語の最大の特徴は、極限までに切り詰められた簡潔さです。この言語を使うといくつかの記号を組み合わせることで、複雑な配列操作を表現することができます。例えば、フィボナッチ数列を生成する関数を例にとると、Kでは{x{x,+/-2#x}/!2}という16文字で表現できます。もっと複雑な例を出すと、ライフゲームは、わずか138バイトで実装できます。 APLはどこで使われているのか この言語はどこで使われているのかというと、これは圧倒的に金融です。例えば、APLは198
みずほ銀行システム障害の調査報告書が公開されたのがニュースになって、Twitterなどで色々な人がコメントをしているのを見た。140文字しか書けない空間で他人の失敗談の揚げ足取りをするのは簡単だが、そこからは一時の爽快感以外に何も得るものがないので、僕はそういうのはカッコ悪いと思っている。 そこで、ちゃんと読んでみたら全く他人事でない部分も沢山あるし、非常に面白く勉強になったので、ブログにまとめてみる。 技術的な話 銀行のシステムがどのようになっているのか、全然イメージが湧いていなかったので、それがまず勉強になった(p.29)。 トラフィックのソースに応じて用意された色々なシステムから基幹システム「MINORI」の取引メインバスにトラフィックが流れ、そこから各種システムへとリクエストが送られていく。この辺はService Oriented Architectureらしい。開発当時としては(
AMDのAthlonやZenマイクロアーキテクチャ、Apple A4など数々のチップ開発に携わり、「天才エンジニア」と高い評価を受けるジム・ケラー氏は2021年1月にIntelを突如退職し、記事作成時点ではAIチップのスタートアップであるTenstorrentの社長兼最高技術責任者を務めています。そんなケラー氏に、技術系ニュースサイトのAnandTechがインタビューを行っています。 An AnandTech Interview with Jim Keller: 'The Laziest Person at Tesla' https://www.anandtech.com/show/16762/an-anandtech-interview-with-jim-keller-laziest-person-at-tesla なお、ジム・ケラー氏の経歴は以下の通り。 入社退職年企業肩書き関与した製
現行モデルと比べて、2024 iPhoneモデル(iPhone 16)機能は大幅に進化した。多くの機能が追加されたため、バッテリー減りも早くなってきた。2024 iPhoneモデル(iPhone 16/16 Pro/16 Pro Max)バッテリー容量は、現行モデルより拡大され、駆動時間は50%アップと言われる。 だが、質問サイトでは「2024 iPhone新作モデル(iPhone 16)を使っていく中で、バッテリーの減りが早くて外出先、旅行先で困る。」「iPhoneバッテリー長持ちさせる方法、対策アプリを教えてください」「iPhoneバッテリーの減り方。自宅で100%まで充電して、外で使用していて80%位までは通常通りに減っていったのだが、それから突然残りのバッテリー残量は10%未満と表示された。さすがにおかしい。スマートフォン省エネ方法ってあるのか」「新iPhone 16/16 Pro
\( \def\ldef{≜} \) \( \def\globally{□} \) \( \def\eventually{◇} \) \( \def\openleftarrowplus{\overset{+}{⇾}} \) \( \def\equalv{⫤} \) 概要 このページでは PlusCal を使って記述したシステムが正しいことをどのように証明するかについて説明する。サンプルを実行するための環境セットアップは環境設定と検証の実行を参照。 Table of Contents 概要 TLA+ は何を証明するのか? Safety 特性 Liveness 特性 スタッターリング 公平性特性 終了の検査 例: 信号機と歩行者 歩行者用信号の故障 歩行者の青信号見逃し 歩行者用と自動車用の信号を青にする TLA+ は何を証明するのか? 一般的なプログラミング言語のアサーションが「ある時点での
パワーナップ (power-nap) とは、一般的に15 - 30分程度の短い仮眠のことである。この用語はコーネル大学の社会心理学者ジェームス・マースによる造語である。時間あたりに対する睡眠の効用を最大化する睡眠法とされている。キャットナップとも呼ばれている。 このタイプの睡眠パターンは多相睡眠法(一日に必要な睡眠時間を短く分割して取る方法)と関連してはいるが、どちらかといえば通常の睡眠の不足分を補うために用いられている。特に睡眠不足が蓄積してしまっている人に効果的といわれている。 パワーナップは30分を越えるべきではないとされている。その理由は、それ以上眠り続けると深い眠りに達してしまうからである。深い眠りに達した後に起きると睡眠惰性(スリープ・イナーシア)としても知られる状態に陥り、疲労感がより増してしまうといった結果に繋がる。 この睡眠パターンの提唱者たちが薦める睡眠時間の長さは一様
Some of our favorite Bose headphones and earbuds are back to all-time low prices
はじめに モデルを発見・検討するのに向く Alloy と異なり、TLA+ / PlusCal は少し先のステップである処理の原理確認やマルチスレッドでの問題発見に役立つアルゴリズム言語(≠プログラミング言語)である。 どちらも有用なので、自分以外のプログラマーにとっても「コメントがあれば読めそうに見える」PlusCal を使えるようになりたい。 実際のところPlusCalを読むのも難しいが、対抗として考えられる SPIN, VDM, Event-B といったモノ達よりは読めそうな雰囲気を持つ。 また、MITライセンスであることや、Amazon, Microsoft, DropBox といった採用実績から、習得するならこれがよいだろうと考える。 環境設定 さて、VSCode で PlusCal を使ってみよう。 VSCode に Extention TLA+ をインストールすればとりあえずO
IEEE Spectrumより。 自動運転や電気自動車への流れにより、自動車には何億行ものコードが追加されることになります。自動車業界はこれに対応できるでしょうか? ロバート・N・シャレット 進行中の半導体の供給不足による世界の自動車生産台数の減少の予測は高まり続けています。アナリストは1月には150万台の自動車が生産されると予測しています。4月までにその数は着実に増加して270万台を超え、5月には410万台以上に達すると予測しています。 半導体不足は、自動車のサプライチェーンの脆さを浮き彫りにしただけでなく、現在の自動車に組み込まれている数十台の隠れたコンピュータへの自動車業界の依存度にも大きな注目を集めています。 クレムソン大学国際自動車研究センターの自動車工学部の部長を務めるゾラン・フィリピーは、「自動車産業ほど急速な技術革新を遂げている産業は他にありません」と述べています。「その背
先日、ネイティブコンパイルEmacsが登場でElispをネイティブコードにコンパイルすることによりEmacsの高速化が実現されたという記事を書きましたが、Emacsに到来している新しい波はこれだけではありません。Emacsを華麗に操作するユーザーインターフェイス(以下、UI)にも新潮流がきています。 百聞は一見にしかずというわけで、まずはこちらの動画をご覧ください。 この動画ではEmacsの起動時点から次の操作を行なってファイルを開いています。 ghqでリポジトリ検索 → fdでファイル検索 ghqでリポジトリ検索 → ripgrepでテキスト検索 利用している外部コマンドはさておき、標準のEmacsと大きく違うところは、コマンドを実行するとミニバッファが縦に伸びて補完候補が表示され、キー入力による候補の絞り込みをしてファイルを開いているところになります。 Anything/Helmと違っ
人間は早起きが得意な「朝型」と夜更かししがちな「夜型」といったタイプが存在します。人間が持っている固有の体内時計は時計遺伝子によってリズムが整えられているため、就寝のリズムを自分の意志で整えるのはなかなか難しいのですが、エクセター大学のジェシカ・オローリン氏らの研究により、「朝型の人はうつ病のリスクが低く、より幸福である」ということが分かりました。 Scientists discover one sleep habit is most likely to result in happiness https://www.inverse.com/mind-body/being-a-morning-person-actually-keeps-you-happier Waking just one hour earlier cuts depression risk by double digits
コマンドを実行できるターミナル環境をiPhoneやiPadで用意しようとすると、脱獄を思い浮かべる人は多いはず。しかし、脱獄にはセキュリティ上のリスクも付きまといます。無料のiOS向けアプリ「iSH」を使うと、iPhoneやiPadを脱獄せずともUNIXコマンドを実行できるターミナル環境を構築できます。 iSH https://ish.app/ iSH Shell on the App Store https://apps.apple.com/us/app/ish-shell/id1436902243 まずはApp Storeにアクセスして「入手」をタップし、iSHをインストールします。 インストールが完了したら「開く」をタップ。 iSHが起動し、ターミナル画面が表示されました。 実行ユーザー名は「root」、ホームディレクトリは「/root」、カーネル名は「Linux iPhone 4.
aibo を手放すことにした。「最新の技術を集めて作ったオープンな電子ガジェット」を期待して買ったが、実態は「ITに疎い富裕層向けのインテリア」だったので、正直言って とても不満な商品 である。 aibo の良い点は色んな所で吹聴されているので、良くない点をどんどん書いていこうと思う。 あまりにも高く、かつ、複雑怪奇な料金体系 2021 年現在、 aibo の価格は 217,800 円である。後述するようにこれだけでも十分高いのだが、 aibo を使うには月額料金がかかる。 aiboベーシックプラン 99,000円/3年 (任意) aiboプレミアムプラン 16,500円/年 (任意) aiboケアサポート 59,400円/3年 年額約 70,000 円である。恐ろしいランニングコスト。それに加えて、これらは年間契約の自動更新のサブスクリプションとなっている。 解約を忘れると、契約更新日が
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く