3値論理
なぜ「= NULL」ではなく「IS NULL」と書かなくてはならないのか？ これは、気になっている人も多いはずです。まだ SQL に不慣れな頃、ある列が NULL である行を選択しようとして、 SELECT * FROM table_A WHERE col_1 = NULL; というクエリを書いてしまい、エラーになったり思い通りの結果が得られなかった、という経験は、ほぼ全ての人が持っているでしょう。ちょうど C言語や JAVA を習い始めのころに「if (a = 5)」と書いてしまう間違いとよく似ています。最初は、言語仕様の汚さにぶつぶつ文句をいいながらも、そのうち「IS NULL」という書き方に慣れてしまって、疑問を持たなくなります。 でもどう考えても奇妙な書き方ですよね。こんな素直でない書き方をしなくてはならないということには、やはりそれなりの理由があるのです。今からその理由を説明しま
ソーシャル経済メディア「NewsPicks」で推薦や検索などのアルゴリズム開発をしている北内です。Pythonは頻繁に新機能や便利なライブラリが登場し、ベストプラクティスの変化が激しい言語です。そこで、2024年2月時点で利用頻度の高そうな新機能、ライブラリ、ツールなどを紹介したいと思います。 この記事では広く浅く紹介することに重点を置き、各トピックについては概要のみを紹介します。詳細な使用方法に関しては各公式サイト等での確認をおすすめします。なお、本記事ではOSとしてmacOSを前提としています。 環境構築 Pythonの環境構築はpyenvとPoetryの組み合わせがもっとも標準的でしょう。 以下の手順でpyenvとPythonをインストールできます。 brew install pyenv # Bashの場合 echo 'eval "$(pyenv init -)"' >> ~/.ba
FMV同梱「エアホッケー」がブラウザ版で復活した経緯とは？ソースコードもない状態からの移植秘話 レバテックラボ（レバテックLAB）
FMV同梱「エアホッケー」がブラウザ版で復活した経緯とは？ソースコードもない状態からの移植秘話 2024年5月7日 ダットジャパン株式会社 「エアホッケー＠GAMEPACK」ブラウザ版 開発ディレクター／プロジェクトマネージャー 新田 大手ゲーム会社にて約7年ゲーム開発に携わった後、2020年に、建設分野を中心にソフトウェア開発を手がけるダットジャパン社に入社。エンジニアとしての知見やスキルを生かし、プロジェクトマネジメント・営業・マーケティングなどを幅広く担当。今回は「エアホッケー」の主人公である「ゆうた」のアイコンにて出演。 ダットジャパン株式会社公式サイト 2000年ごろから2010年代にかけて、富士通・FMVシリーズのパソコンには購入時のバンドル（同梱）ソフトとして「GAMEPACK（ゲームパック）」というミニゲーム集が付属していました。中でも「エアホッケー」は、現在でもYouTu
東京理科大学の河原尊之教授らの研究チームは、回路線幅２２ナノメートル（ナノは１０億分の１）の相補型金属酸化膜半導体（ＣＭＯＳ）を使い、現在の量子コンピューターを超える計算能力を持つ大規模集積回路（ＬＳＩ）システムを開発した。創薬や材料開発などに生かせる「組み合わせ最適化問題」を低消費電力かつ高速に解く。複数のチップを並列動作させることで機能を拡張し、大型の設備が必要なクラウドサービスを使わずに大規模な計算を可能にする。 河原教授らが開発したのは、複数のＬＳＩチップをつないで機能を拡張できるスケーラブルな全結合型の「イジングＬＳＩシステム」。これまで１チップ内に収まっていた演算機能を、複数の汎用ＣＭＯＳに分けて接続することで拡張可能なことを実機で実証した。 ２２ナノＣＭＯＳで作製した演算ＬＳＩチップ３６個と制御用ＦＰＧＡ（演算回路が自由に書き換えられる半導体）１個を搭載。現状のゲート方式の量
この記事は一休.com Advent Calendar 2023 25日目の記事です。 一休レストランでは、よりスムーズな予約体験の提供を目的とするシステムのリニューアルを進めています。その一環として、2023年10月から、レストラン個別ページの表示から予約までのスマートフォンビューにおいて、バックエンドのサーバをRustで書かれたものに置き換えました。 一休レストランの Rust バックエンドが正式リリースされました。https://t.co/7N4VGv5ej9 このページのスマートフォンビューはバックエンドが Rust で書かれた GraphQL になってます— naoya (@naoya_ito) October 4, 2023 本番運用が始まって3か月近く経ちましたが、これまで安定して継続的な開発と運用ができています。これはRustだからと構えることなく、「ふつう」のバックエンド
前回の記事では、JavaScript の実行エンジン V8 の JIT 出力コードを読んでみました。記事は M1 Mac 上で動かした結果でしたので、ARM アーキテクチャのアセンブラを読むことになりました。 さてそんな ARM アーキテクチャですが、最近の ARM には FJCVTZS という JavaScript 専用の機械語命令があるのをご存知でしょうか？CPU に、特定の言語（それもコンパイラを持たない JavaScript）専用の命令があると知ったとき、私は大いに驚きました（過去にも Jazelle みたいなものはありましたが） 今回は、この FJCVTZS 命令について、実際にどれだけ効果があるのか、V8 をビルドしながら調べてみましょう。 FJCVTZS 命令とは？ FJCVTZS 命令は、Arm v8.3 から導入された JSCVT 命令の一つで、JavaScript の言
『GitHub CI/CD実践ガイド』でGitHub ActionsとCI/CDを体系的に学ぼう - 憂鬱な世界にネコパンチ！
『GitHub CI/CD実践ガイド――持続可能なソフトウェア開発を支えるGitHub Actionsの設計と運用』という書籍を最近出版したので紹介します。本書ではGitHub Actionsの実装と、CI/CDの設計・運用を体系的に学べます。一粒で二度美味しい書籍です。筆者個人としては「実践Terraform」以来、4年半ぶりの商業出版になります。 gihyo.jp どんな本？ GitHub利用者にとって、もっとも導入が容易なCI/CD向けのソリューションはGitHub Actionsです。GitHub Actionsの活用事例は多く、検索すればたくさん情報が出てきます。ただ断片的な情報には事欠かない反面、体系的に学習する方法は意外とありません。CI/CD自体がソフトウェア開発の主役になることもまずないため、なんとなく運用している人が大半でしょう。そこで執筆したのが『GitHub CI/
【Unit4 ブログリレー3日目】 こんにちは，エムスリーエンジニアリンググループの榎田です．数学とテレビゲームが好きです． 今回は，Unit4 で運用している "Docpedia" というサービスで実施した SQL チューニングの実例を2つご紹介します．普段の私が意識していなかった， RDBMS の内部機構に関する話が登場して面白かったので，今回の記事を書きました． なお，本稿で扱う議論はすべて PostgreSQL 11.x 以上を対象としており，特にその他の RDBMS で同様の動作をするかは確認していません．定性的な挙動に共通するものはあるかもしれませんが，ここで述べた話はそのままは通らないであろうことをお断りさせてください*1． プロダクトについて index なしで意外と耐えたが，耐えきれなかった話 実際の SQL とテーブル定義 原因の分析 対応策 SELECT DISTIN
Python普及しろ協会に入会したい
この記事はタナイ氏によるPython滅ぼす協会に入会したいを読んでから執筆したものです。 この記事の趣旨はPython滅ぼす協会に入会したいに対する反論という形をとりながら、タナイ氏により「バカの言語」と揶揄され、「使ってエンジニアを名乗るというのは」「滑稽」とまで言われたPythonの立場を再考することです。 追記 本記事は「Pythonはこれだけ優れた言語だからみんな使おう！」というものではなく「言うほど酷くないと思うよ」程度のものです。 型アノテーションがあるからと言って静的型付けを軽視しているわけでもなければ、map関数をもってmapメソッドを不要だと言っているわけでもありません。 この記法は嫌い〜この記法が好き〜と表明することは個人の自由ですが、同様に「この記法は実はこういう意味があって〜」という意見があればそれを聞いた上で、物事を判断して欲しいです。もちろん、聞いても意見が変わ
『ゼルダの伝説 ティアーズ オブ ザ キングダム』、米大学の「機械設計コース」に採用される。学生殺到、成績は水陸両用乗り物レースで決定 - AUTOMATON
アメリカ・メリーランド大学にて今秋、『ゼルダの伝説 ティアーズ オブ ザ キングダム』を使った機械工学コースが開設された。同作のビルド要素の学習利用として注目を集めている。国内ではインサイドが伝えている。 Image Credit: Ryan D. Sochol on YouTube 『ゼルダの伝説 ティアーズ オブ ザ キングダム』は、Nintendo Switch向けに発売中のアクションアドベンチャーゲームだ。本作では、リンクの右手に宿る「ウルトラハンド」の能力によって物体やゾナウギアを組み合わせ、さまざまなものをビルドできる。その自由度は高く、制作物は国内外問わずSNSなどで日夜共有されている。海外掲示板Redditでは本作での工作物の共有専用コミュニティ「r/HyruleEngineering」などで盛んに披露されている（関連記事）。 そうした本作のビルド要素が、大学の工学部におけ
Nintendo Switch『スイカゲーム』の“ニセモノ被害”が深刻化。公式サイトより目立ってしまう厄介すぎるニセモノゲーム - AUTOMATON
突如として人気が爆発し、2023年最大級のダークホースとなった『スイカゲーム』。同作のニセモノゲームの増殖が悪化しているようだ。本家が対応に苦慮していることがうかがえる。ゲーム開発者Yanase氏などが伝えている。 『スイカゲーム』は、箱にフルーツを投入しながらスコアを稼ぐパズルゲームだ。現在はAladdin Xがパブリッシャーを担当している。対応プラットフォームはAladdin X/Nintendo Switch。本作では同じフルーツ同士がくっつくと、ひと回り大きな別のフルーツに進化することが特徴で、もっとも小さなさくらんぼから、もっとも大きなスイカまで11種類のフルーツが存在。箱からフルーツが溢れ出てしまうとゲーム終了となるため、無駄のないようにうまくくっつけながらハイスコアを目指すのだ。 本作は2021年12月にリリースされた作品ながら、今年9月に入りインフルエンサーを中心に人気が爆
この記事のモチベーション 「php-fpmとはなにか？」を知るため、PHPのドキュメントを見ました。 しかし、ここに書いていることはまあそうなのですがあまりに焦点が絞られ過ぎてて「php-fpmとはなにか？」に対する答えとしては少し不十分な気がしていました。 例えるなら数学の問題に答えるにあたって、途中式を飛ばしたり証明の過程を飛ばしたりというような感じ。 不十分というのは、それを理解するための段階をすっ飛ばして答えだけが書かれている状態のことを指しています。 その不十分なところを自分も曖昧にしか理解できていない気がしており、いい機会なので整理しておこうというのがこの記事のモチベーションです。 そのためこの記事は、「php-fpmとはなにか？」をプロセス→Webサーバー→実行方式と順を追って説明していく構成になっています。 「細けぇこたぁいいんだ、おらぁ今すぐ答えだけ知りてぇンダ」という方
最近x86とArmに続く第3の勢力として、RISC-V(リスクファイブ)の名前を聞くことが多くなった。RISC-Vの場合、x86とArmと異なるのはさまざまなベンダーがさまざまなコアを用意していることで、まだ現状はIPを販売しているレベルの企業の方が多いが、チップの提供を開始しているメーカーも出始めている。 イメージとしては、1980年代末～90年代のx86市場を考えれば良い。インテルとAMD以外にCyrix/IDT/TI/IBM/NexGenなど多数のメーカーが、独自の実装に基づくx86プロセッサーを市場投入していた時代に近い。 もちろんいろいろ異なる点もあるのだが、2010年代前半はプロセッサーといえばx86とArm、それにPowerPC/POWERといった程度がせいぜいだったのに、なぜ2010年代後半から急速にRISC-Vが盛り上がったのか、という一連の流れを数回に分けて説明しよう。
『ゼルダの伝説 ティアーズ オブ ザ キングダム』にて「超火力魔物たたき棒」が発明される。物理演算とゾナウギアの“クセ”を利用したゴーレム頭突きマシン - AUTOMATON
『ゼルダの伝説 ティアーズ オブ ザ キングダム』にて、浮遊石とゴーレムの頭を組み合わせて魔物に大ダメージをあたえる装置が考案された。2種類のゾナウギアを組み合わせただけの簡単な装置ながら大ダメージが発生し、シュールな見た目も相まってか注目を集めている。 『ゼルダの伝説 ティアーズ オブ ザ キングダム』は、Nintendo Switch向けに発売中のアクションアドベンチャーゲームだ。『ゼルダの伝説 ブレス オブ ザ ワイルド』（以下、ブレス オブ ザ ワイルド）の続編にあたる。本作では、そんなリンクの右手に宿る「ウルトラハンド」の能力によって物体やゾナウギアを組み合わせ、さまざまなものをビルドできる。 制作物は一部ユーザー間で“ゾナウビルド”と呼ばれ、国内外問わずSNSなどで日夜共有されている。海外掲示板Redditでは、魔物討伐用から単に挙動が面白い装置などのさまざまな装置が、主に「r
KeyTrap （CVE-2023-50387）を検証してみた - knqyf263's blog
DNSは趣味でやっているだけですし有識者のレビューを経ているわけでもないので誤りを含むかもしれませんが、DNS界隈には優しい人しかいないのできっと丁寧に指摘してくれるはずです。 追記：めちゃくちゃ丁寧にレビューしていただいたので修正いたしました。森下さんほどの方に細かく見ていただいて恐れ多いです...（学生時代に某幅広合宿で森下さんの発表を見てDNSセキュリティに興味を持った） 4万文字を超える大作、おつかれさまです。わかりやすく書けていると思いました。 ざっと読んで、コメントしてみました。ご参考まで。https://t.co/bVj5WeFHQr https://t.co/ku5NOx6ua8— Yasuhiro Morishita (@OrangeMorishita) 2024年2月19日 要約 背景 詳細 DNSSECとは？ DNSSECの可用性 鍵タグの衝突 攻撃内容 SigJam
WebAssembly所感
WebAssemblyをちょっといじってみて思ったところをまとめてみます。 設計思想 WebAssembly/designに設計文書がまとまっています。特にHighLevelGoals.mdから読み取れるポイントは以下の4点です。 サンドボックス化された環境であること。 移植性があること。つまり、特定の実CPUアーキテクチャ等に依存しないこと。 少なくともC/C++の(十分に高速な)コンパイルターゲットとして機能すること。 安定した仕様を持つこと。 サンドボックスという観点からは、先行技術として以下のようなものが特筆に値します。 Webサンドボックス JavaScript および asm.js Javaアプレット Flash (ActionScript) NaCl, PNaCl Web以外のサンドボックス OSのユーザーランド、特にLinux userland これらのサンドボックスとの比
大実験！ChatGPTは競プロの問題を解けるのか (2024年5月版) - E869120's Blog
1. はじめに 2024 年 5 月 14 日、OpenAI 社から新たな生成 AI「GPT-4o」が発表され、世界に大きな衝撃を与えました。これまでの GPT-4 よりも性能を向上させただけでなく1、音声や画像のリアルタイム処理も実現し、さらに応答速度が大幅に速くなりました。「ついにシンギュラリティが来てしまったか」「まるで SF の世界を生きているような感覚だ」という感想も見受けられました。 しかし、いくら生成 AI とはいえ、競技プログラミングの問題を解くのは非常に難しいです。なぜなら競技プログラミングでは、問題文を理解する能力、プログラムを実装する能力だけでなく、より速く答えを求められる解法 (アルゴリズム) を考える能力も要求されるからです。もし ChatGPT が競技プログラミングを出来るようになれば他のあらゆるタスクをこなせるだろう、と考える人もいます。 それでは、現代最強の
オンラインノートサービス「Evernote」は2月14日（現地時間）、無料プランの機能制限を緩和。これまで有料プラン向けに提供していた14の機能を無料プランのユーザーにも開放した。新たに無料化された機能は以下の通り。 ・履歴のメモと復元 ・オフラインノートとノートブック ・PDF 注釈 ・PDFエクスポート ・名刺スキャン ・スプレッドシートのプレビュー機能 ・Evernote にメモをメールで送信 ・メールによるノートの共有 ・カスタム グローバル キーボード ショートカット ・モバイルの「作成」ボタンをカスタマイズ ・カスタム テンプレート ・ブール検索（AND、OR、NOTなどの演算子を使った高度な検索機能） ・位置情報の検索 ・ドキュメントと画像の検索（無料プランでは2月14日以降に追加したコンテンツのみ対応）
情報理論は世界の秘密を暴くのでしょうか？ 英国のポーツマス大学（UOP）で行われた研究によって、情報力学第2法則の存在は、私たちが存在する宇宙全体がシミュレーションであることを示すとする、興味深い結果が発表されました。 情報力学は情報は宇宙の基本的な構成要素であり、エネルギーと質量の両方を持つ物理的な存在であると定義しており、既存の情報熱力学とは厳密には異なっています。 また情報力学第2法則においては、あらゆる現象の情報内容は最小限に抑えられる傾向があるとされています。 新たな研究ではこの情報力学の第2法則による情報圧縮が、生物の遺伝情報や原子の情報量、数学的対象性、さらには宇宙全体に対して普遍的に適合できることを示しています。 また情報圧縮が起こるように世界がプログラムされているのは、この世界をシミュレートする演算機の負荷を軽減する目的があるためだと述べられています。 情報力学は、私たち
「Duolingo」は、ゲーム化され、細かく分かれた無料のレッスンを通じて、楽しく直感的なプロセスで言葉を学べる言語学習アプリとして知られている。そして今回、同サービスが音楽の学習にも拡大することになった。 Duolingoは米国時間9月6日、同サービスの看板であるゲーム化された学習体験を通して、楽譜の読み方や楽器の演奏方法を学べる新コース「Music」を発表した。 発表によれば、Duolingoの新しいMusicコースには、言語学習プラットフォームで採用しているのと同じ手法が取り入れられており、細かく分かれた多くのレッスンや双方向の練習問題、さらには200以上の「楽しくて聞き覚えのある旋律」が用意されるという。 現時点で得られている詳細情報は限られているものの、Duolingoから提供された画像を見ると、穴埋めや音に対応した適切な音符を選ぶペアマッチなど、双方向の練習問題の例が示されてい
アジャイルプラクティスガイドブック チームで成果を出すための開発技術の実践知 チーム・組織にプラクティスを導入し、根付かせるために！ 116の手法を一冊にまとめた“実践”の手引き チームでのアジャイル開発には、開発技術やツールなどの「技術プラクティス」の活用が重要です。 プラクティスはそれぞれの目的や役割を意識することで効果を発揮します。しかし、目まぐるしく状況が変化する開発では、当初の目的を忘れて、プラクティスに取り組むこと自体が目的化してしまうチームも少なくありません。 本書は、チーム・組織でアジャイル開発に取り組んできた著者が、プラクティスの効果的な選択・活用のしかたについて、自らの実践経験に基づいてまとめたガイドブックです。 架空の開発現場を舞台にしたマンガとともに、チーム開発の様々なシーンで役立てられるプラクティスを、幅広くかつわかりやすく解説しています。開発現場に備えておけば、
2023年9月7日 CSS CSS小技集シリーズの第5弾！「【第4弾】少しのコードで実装可能な10のCSS小技集」から約2年。またまた便利でサクッと使えるコードが続々登場しています！初心者さんからベテランさんまで要チェック！ ↑私が10年以上利用している会計ソフト！ 目次 ネストで親子セレクターを管理 チェックボックスやラジオボタンの色を変更 アスペクト比を指定する 新しいメディアクエリーの範囲指定方法 背面の要素をぼかす 要素を画面のど真ん中に固定表示 空の要素にスタイルをあてる 条件に合致しないセレクターにスタイルをあてる スムーススクロールのジャンプ位置 動いているCSSアニメーションを止める HTML・CSSの全コードは各サンプルの「HTML」や「CSS」タブを、別タブでのサンプル表示は右上の「EDIT ON CODEPEN」をクリックしてご覧ください！ 1. ネストで親子セレクタ
愛媛県庁でおよそ５０年にわたって税金の計算や会計業務などに使われてきた大型の演算装置、電子計算機の運用が２０日で終了となり県庁で催しが行われました。 愛媛県庁の機械室に設置されている電子計算機は、縦およそ１メートル８０センチ、横およそ６０センチで、複雑なデータ処理を高速で行うことができ、昭和４８年の導入からおよそ５０年にわたって税金の計算や会計業務などに使われてきました。 県は、さらに職員や県民の利便性を高めるため電子計算機に代わる新たなシステムを導入していて、電子計算機の運用が２０日で終了されることになり、県庁に職員や企業の関係者が集まって催しが行われました。 このなかで県デジタル変革担当の山名富士部長が「愛媛県政を縁の下で支えてきたシステムが役割を終えるのは寂しい。長年のサポートに感謝したい」とあいさつしました。 このあと山名部長が大型の電子計算機の電源を切り業務を終えました。 【元職
TL;DR エラーハンドリングを行う目的 エラーハンドリングが適切に行われているとどう嬉しいか 1. エラーの発生原因が分かる 2. レスポンスステータスを型安全に出し分けることが可能になる どうエラーハンドリングを行うのか 実装方法 エラー型の定義で気を付けるべきポイント なぜanyhowを利用しないのか エラーハンドリングを行う上で持っている課題感 Drawer Growth グループ バックエンドエンジニアの中野です。今回は、私が所属するチームで gRPC API を開発する際に実践している Rust でのエラーハンドリングについて紹介していきます。 TL;DR エラーの発生原因がわかるようにエラー型を定義することが大切。 anyhow は使わずに自前のエラー型を定義して利用する。 エラーハンドリングを行う目的 そもそもなぜエラーハンドリングを行う必要があるのでしょうか。私が所属する
おはようございます． 遅ればせながら，11/14/2023 の .NET 8 のリリースの内容を確認し，コードジェネレータの新しい最適化機構(PGO)のデフォルト有効化や AI/LLM のアプリケーションへの統合，各フレームワークのアップデートや，C# の方ではコレクション記法の統合など様々なトピックがある中で，付随してリリースされた F# 8 についても新機能をチェックしてみました． ヤバすぎました． 私は涙しました．これまであらゆる F#er が望んでも得られなかったものがそこにはありました．F# という言語がこれまでの不満点を一気に払拭し，至高の領域に到達しようというヤバみを感じるリリースだったので，今回は以下のブログポストに記載されている新機能から個人的に凄いと思ったものを抜粋して解説します． 11/24/2023 一部サンプルコードのミスを修正しました． F# および F# 8
型パズルを理解しTypeScript中級者になる8のポイント - 弁護士ドットコム株式会社 Creators’ blog
この記事は、弁護士ドットコム株式会社の Advent Calendar 2023 の 22 日目の記事です。 前日は @et_tei さんの「FireHOL で公開されているブラックリストからの接続 Akamai でブロックする」でした。 こんにちは。税理士ドットコム事業部の @komtaki です。 数年間 TypeScript を業務で使っていたのですが、型パズルの Type Challenges をやってようやく TypeScript の本質を理解していないことに気づきました。 この記事では Type Challenges を通して、私のような型パズルが難しいと感じる人のために型パズルを理解するための言語機能と使い方を 8 つのポイントでまとめます。 この 8 つのポイントを理解すれば、いろんな型パズルが理解できるようになるはずです。 Type Challenges とは TypeS
気がついたら数年ぶりのBlog投稿でした。お手柔らかにお願いします。 さて、今回取り上げるのは、ドメインやサブドメイン、保有ネットワークを調査する手法（相手方に影響を与えない縛りです）を思いつくままに紹介していきます。ドキュメントとして纏まっているものもあまり見かけなかったので、重い腰を上げて書いてみました。この他にもこんな方法がある！などフィードバックを頂ければとても喜びますので、是非よろしくお願いします。 目次 <後編> ・サブドメインを調査する方法 ・IPアドレスを起点にサブドメインを探す ・公開ポートへのアクセス（Webポート） ・＜通常コンテンツの返却＞ ・＜エラーページの返却＞ ・＜リダイレクト＞ ・公開ポートへのアクセス（Webポート以外） ・証明書の確認 ・＜Webサーバの場合＞ ・＜SSL/TLSで保護されたプロトコルの場合＞ ・＜プロトコル内で暗号化(STARTTLS)
結論。掛け算記号「×」の定義は国際標準に決められているので、文科省だろうと先生だろうとお役人だろうと、ましてや有名な塾の先生だろうと大学の教授だろうと、勝手に独自解釈をしてはいけないのです。 例えば負の値の掛け算って、直感的にはわかりにくいですよね。りんご１２個入った箱が４箱なら12×4な気がするけど、12×(-4)ってどういう意味ですかね。箱がマイナス4個？Aさんは「小学生にはわかりにくいこの×の定義は良くないから負の掛け算はしてはいけないと」と記号「×」を再定義したとします。 Bさんは0の掛け算はわかりにくいから0を掛け算に使ってはいけないと×を再定義したとします。Cさんは...、Dさんは...。みんなそれぞれ違う定義をしてしまったら意思疎通ができないですよね。そこで「×」という記号はどういう意味なのかを国際協定（IEC60050 102-01-18）で定義してあるんです。(https
EMドライブと違って、こっちは本物です。 沖縄科学技術大学院大学（OIST）などで行われた研究により、量子状態の変化によって仕事量をうみだす量子エンジンの史上初の実証が行われました。 量子エンジンは通常のエンジンとは異なり、燃料や酸素といった外部の供給を必要とせず、密閉されたピストン内部の量子状態の変化だけで仕事量を持続的に出力することが可能です。 通常のエンジンがガソリンの爆発という古典的な物理現象に依存するならば、量子エンジンは量子状態の変化という量子力学的な物理現象からエネルギーを抽出していると言えるでしょう。 量子コンピューターは演算能力において魔法のような能力を発揮しましたが、量子エンジンではいったいどんな仕組みでエネルギーを出力しているのでしょうか？ 研究内容の詳細は2023年9月27日に『Nature』にて「BEC-BCSクロスオーバーによる量子エンジン（A quantum
今回は、高専5年次から趣味で学習していたRISC-Vを実装した、簡単なCPU作成をしていこうと思います。 完全に知識ゼロの状態から学び始めたので、間違った解釈をしている部分があるかもしれませんが、その時は優しく指摘していただけると嬉しいです 🙏 また、本ブログはディジタル回路設計とコンピュータアーキテクチャ[RISC-V版]を基に書かれています。初心者でも理解しやすいように丁寧に解説されているので、興味があれば是非買ってみてください！ RISC-Vってなんぞ RISC-V公式サイトには以下のように書かれています。 RISC-V is an open standard Instruction Set Architecture (ISA) enabling a new era of processor innovation through open collaboration. （RISC-
こんにちは。 カバー株式会社CTO室エンジニアのIです。 今回はタレントさんが普段の配信で使用しているホロライブアプリのトラッキングシステムについて紹介します。 弊社のタレントさんが自宅から３Dモデルを使った配信を行う、通称「おうち３D」では複数のトラッキング方式が複合的に利用されていることにお気づきでしょうか？ カバーのスタジオでは本格的なモーションキャプチャー設備を用いて多自由度かつ精度の高い3D配信が可能ですが、おうち３Dでは自宅でも簡単かつ表情豊かなトラッキングが利用できることを目指しています。 ※おうち３D配信参考リンク 【おうち3D凸待ち】mocopiに敗北したぺこマリ【ホロライブ/宝鐘マリン・兎田ぺこら】 トラッキング入力の種類おうち３Dでは複数のトラッキング入力からさまざまなデータを受け取り、合成した後、タレントの３Dモデルの全身に適用しています。 トラッキング入力の種類に
知られざる王小雲。米国の暗号学的ハッシュ関数MD5、SHA-1を過去に葬り去った女性研究者 - 中華IT最新事情
第4回未来科学大賞で多額の賞金が、数学者、王小雲に授与され、彼女の名前がにわかにメディアに注目をされた。王小雲は2004年に米国のハッシュ関数「MD5」の脆弱性を発見した研究者だったと資訊咖が報じた。 ネット社会に必須のハッシュ関数 デジタル時代、ハッシュ関数はさまざまなところで使われる。最もよく知られているのは、パスワードの保管や書類の改竄検知などだ。 ハッシュとは「混ぜこぜ」という意味で、元のデータを混ぜこぜにして、まったく別のデータに変換をしてしまうというものだ。例えば、「元の数値を2倍にして1を引く」という単純なアルゴリズムでもハッシュ関数に近いことができる。2であれば3になるし、7であれば13になる。元の数字とは異なったものになる。 しかし、これでは何かの役に立つことはできないため、暗号学者、数学者たちは、複雑なアルゴリズムを考案し、ハッシュ関数としてさまざまな応用をしてきた。こ
時系列データのための大規模言語モデル
近年の大規模言語モデル（LLM）の出現は、自然言語処理（NLP）においてパラダイムシフトをもたらし、ChatGPTをはじめとする様々な革新的サービスを生み出している。LLMの急速な進化は、NLPの領域を超えて、より広範なデータモダリティへのLLMの適用可能性を探る研究への発展を促している。その中で今回注目したのが、時系列データへのLLMの適用である。例えば、[Gruver+, 2023] では、GPT-3やLLaMA-2などの既存のLLMが、ダウンストリームタスクで教師あり学習した時系列モデルの性能に匹敵するか上回るレベルで、zero-shotで時系列予測ができることを報告しており、大変興味深い。本ブログでは、2024年に公開されたサーベイ論文「Large Language Models for Time Series: A Survey」を参考にLLM for Time Seriesの全
遠きに行くには必ず邇きよりす．高きに登るには必ず卑きよりす．何事にも順序というものがあります．Rust の学習もそうです． そこで，前提知識がほぼ無い状態から Rust を学ぶときに，どんな順序が良いのか，考えてみました． コンパイル時と実行時の区別． Rust を学ぶとき，何がコンパイル時に起こって何が実行時に起こるか分からないと困ります．特に，型検査と借用検査がコンパイル時に行われることは，それらの基本的な規則を知る際に大切です．そこで，最初に Hello world を書く時点で，コンパイル→実行という流れを押さえておくべきでしょう． コンパイルエラーの読み方． まずコンパイルエラーを読むという基本的な姿勢を身に付けるのは大切です． 公式ドキュメントの場所． まず公式ドキュメントを読むという基本的な姿勢を身に付けるのも大切です． Hello world 周辺の基本文法． 例えば以下の
「大学で数学は哲学になる」と主張する人がいる*1．特におもしろくもないし，適切な比喩とも思えないんだが，一部の頭がフワフワしている層や視野の狭い人々，数学を神聖なものに祭りあげたい何とかコミュニケーターなどには受けるらしく，ごくまれに信じている人がいる*2． ただ，実際問題，違いを説明しろと言われるとワリと困る．「リンゴとゾウの違いは何ですか」と聞かれているようなものなので，当然なのだが，「いや，見た目も大きさも全然違うじゃん」と言いたくなる．問題は「リンゴとゾウ」なら一目瞭然なのだが，「学問」は目に見えないので，どちらもわかっていない人には誰かが説明しないと違いがはっきりわからない点にある*3．「リンゴの触り心地はツルツルだし，ゾウも（牙が）ツルツルだから，きっと似たようなものだろう」と言う盲人のようなものである*4． この記事の目的は「数学と哲学の違い」という直観的には明らかだが，ちゃ
はじめに 11月も終わり、今年も残るところあと一か月となりました。 今年ももう終わるから今年中に成果を上げとけ！と言わんばかりに最近は新技術の登場が多いです。 今回取り上げるのも11月最後の大砲として出てきた新技術、その名もAnimate Anyone Animate Anyoneとはなんぞや 文字で説明するより見たほうが早い 凄くざっくり説明すると、一枚の絵と動きをボーン動画として入力すると、入力した絵がボーン動画と同じ動きをしてくれるよ！というもの。 似たようなものは今までもReferenceOnly × openpose × animatediffとかで出来ましたが、特筆すべきはその精度。 動画生成の大敵であるちらつきは一切なく、入力画像にかなり忠実な動画を生成しています。 さてこの技術、動画生成にずっと注目している自分としてはいますぐにでも弄り倒したいのですが、残念ながらコードとモ
AIの歴史と現在の問題 - デマこい！
ジョン・ヘンリーの教訓 19世紀の都市伝説に「ジョン・ヘンリー」という人物がいます[１]。 彼は屈強な肉体労働者で、ハンマーを振るって岩に穴を開ける達人でした。ところが蒸気機関で動くドリルの登場により、彼は失業の危機に瀕します。そこで彼は、人間は機械よりも優れていることを示すために、穴開け競争で蒸気ドリルに戦いを挑んだというのです。 伝説によれば、ジョン・ヘンリーは（驚くべきことに）僅差で勝利を収めたとされています。しかし、あまりにも肉体を酷使したために、勝利の直後にその場で倒れて帰らぬ人になりました。周囲の野次馬たちは言いました。「彼は人間らしく死んだ」と。 この逸話から得られる教訓は何でしょうか？ 「機械と競い合うのは命にかかわる」とか「バカバカしい」とかではないと私は思います。それはあまりにも表層的な解釈です。生成ＡＩが躍進する現在、ジョン・ヘンリーは遠い過去の伝説ではありません。現
大手ハイテク各社は世界中に巨大データセンターを建設しているが、それによって引き起こされる二酸化炭素排出量の大幅な増加の回避にも躍起になっている。 多くの電力を消費する人工知能（ＡＩ）がクラウド化されるのに伴い、太陽光発電や風力発電に余剰がある地域をソフトウエアを使って探し出し、そこでデータセンターの運営を強化するという手法も広がりつつある。二酸化炭素排出量とコストを削減することが可能になるからだ。 クラウドコンピューティングの管理を手掛けるシーラス・ネクサスの共同創業者で最高経営責任者（ＣＥＯ）を務めるクリス・ノーブル氏は「再生可能エネルギーを最大限に利用するやり方でデータセンターを運営する方法を見つけ出すことが急務だ」と語った。 ＡＩが必要とするコンピューティングがもたらす気候変動リスクは広範に及び、化石燃料を使用する電力からクリーンな電力への大幅な転換がなければ一段と悪化する恐れがある
はじめてのインタープリター
インタープリターを書いたことがない方向けに、四則演算といった簡単なものから始め、少しずつ機能を足しながら言語を拡張していくような本です。
『パルワールド』開発者インタビュー。「Steamウィッシュリスト180万」「事例研究したのに前例ない仕様に」異例だらけの新作オープンワールドゲームの破天荒すぎる船出事情 - AUTOMATON
ポケットペアは1月19日、『パルワールド / Palworld』の早期アクセス配信を開始した。対応プラットフォームはXbox One/Xbox Series X|S/PC（Steam/Microsoft Store）。Xbox Game Pass（Xbox/PC/クラウド）にも対応している。 本作を開発しているポケットペアは、国内のゲーム開発会社だ。過去作としては、『クラフトピア』や『オーバーダンジョン』などを制作。既存のアセットやゲームの要素を組み合わせる型破りな手法で、注目作を生み出してきた。本作『パルワールド』はそんなポケットペアによる4作目となるが、これまでとは少し異なる輝きを秘めているように見える。2021年の発表から開発が続けられてきた本作では、どんな具合にゲームが形作られていったのか。本稿では、苦しい気持ちもあったという開発の事情やPvPの展望なども含めて話を伺ってきたので、
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
2024年のPythonプログラミング - Uzabase for Engineers
量子コンピューター超えの計算能力…東京理科大が開発した「LSIシステム」がスゴイ ニュースイッチ by 日刊工業新聞社
一休レストランのふつうのRustバックエンド開発 - 一休.com Developers Blog
ARM に存在する JavaScript 専用命令「FJCVTZS」を追う（ついでに V8 をビルドする）
PostgreSQL チューニングよもやま話 - エムスリーテックブログ
Re: WebサーバーアーキテクチャとPHP実行方式の理解から始めるphp-fpmとはなにか？
なぜRISC-Vは急速に盛り上がったのか？ RISC-Vプロセッサー遍歴 (1/2)
昨年末に無料プランを大幅制限したEvernote、一部機能を無料化
情報力学第2法則はこの世界がシミュレーションであることを示している - ナゾロジー
言語学習アプリ「Duolingo」、音楽と算数のコースを追加へ--ゲーム化で楽しく習得
【2024年】ITエンジニア本大賞まとめ - Qiita
【第5弾】少しのコードで実装可能な10のCSS小技集
「長年のサポートに感謝」県庁の電子計算機運用終了の催し｜NHK 愛媛のニュース
RustでWeb APIを作る際のエラーハンドリング - CADDi Tech Blog
F# 8 のリリースで F# が最強の言語になってしまった件 - Qiita
ドメインやサブドメインを調査する話（前編） | 技術者ブログ | 三井物産セキュアディレクション株式会社
掛け算の順序問題 結論書きますね！ - amlx’s blog
燃料がいらない!?日本を含む研究チームが史上初の「量子エンジン」試運転に成功！ - ナゾロジー
え、高級言語しか触ったことないのにCPUを自作するんですか!?
おうち３D配信を支えるトラッキングシステムについて｜カバー株式会社 公式note
そもそもプログラミング経験自体無い人がRustを学ぶとき，どんな順序が良いのか
数学は哲学？ - Sokratesさんの備忘録ないし雑記帳
【AI動画生成】Animate Anyone 論文解説
ＡＩが吐き出す二酸化炭素、巨大データセンター持つＩＴ大手に難題