いまや、DJはもうDJじゃない。デリック・メイと考える人工知能と｢人の意思｣2024.09.20 21:0014,582 照沼健太 AIと人間の区別がつかない時代がもうすぐそこに？ Open AIが脅威の性能を誇るChatGPTの音声対話機能を公開間近。さらにはAppleがiOSやMac OSに組み込む生成AI｢Apple Intelligence｣を発表するなど、AI競争はさらに加速しています。 そんなAIと人間の区別がつかない未来を予見したかのような作品が、95年公開の映画｢GHOST IN THE SHELL / 攻殻機動隊｣です。本作の関連作品として、1997年にPlayStation用ソフトとして発売されたゲーム｢攻殻機動隊 GHOST IN THE SHELL｣のサントラに参加していたデトロイトテクノのオリジネイターの一人、デリック・メイが、今年5月に東京・新宿のZepp Sh
はじめに エンジニアのみなさま、日々の学習本当にお疲れ様です！ また本記事まで足を運んでいただき本当に感謝です。 約2分程度で読めるので最後まで読んでもらえると幸いです。 要件定義関連の記事も投稿してます。時間あればぜひ読んでみてください！ 今回は「機能要件」に関する内容について投稿します。 機能要件とは ※引用：IPA（独立行政法人 情報処理推進機構）図1 機能／非機能要求の相違点と課題 機能要件は、「必ず搭載すべき機能」 を指します。新規開発であっても既存のリプレイスであっても顧客としては業務内容に直結しているため、イメージしやすい機能になっています。機能要件をすり合わせすることにより、システムの動作が明確になり設計段階での誤解を防ぎます。これらの機能要件が適切に設定されていないと、後々の開発過程で手戻りが発生する可能性があるため、初期段階での詳細な定義が求められます。 どんなドキュメ
先日のことですが、Querie.meでこんな質疑がありました。 これは非常にご尤もなご意見であり、実際この問題提起に近いシチュエーションを見かけたことは五本の指では数え切れないくらいあります。ということで、今回の記事では元々の問題意識ともいえる「見せかけの回帰」について、久しぶりにちょっと復習を兼ねて書いてみようと思います。 そもそも「見せかけの回帰」とは何か 実際に見せかけの回帰において起きること 見せかけの回帰への対処法 差分系列に変換する VARモデルを使う 動的線形（状態空間）モデルやベイズ構造時系列モデルを使う Rコード そもそも「見せかけの回帰」とは何か このブログでは11年前に沖本本の輪読記事を書いた際に「見せかけの回帰」については一通り取り上げていますので、今回はその際の説明を引用するに留めます。 なお前提知識として先に書いておくと、以下に出てくる「単位根過程」というのは平
こんにちは👋 長く暑い夏が終わろうとしている今ですが、筆者は秋の季節を満喫しております。 LabBaseでは線形代数学の基礎を使って検索エンジンを構築していますが、レコメンド、検索アルゴリズムによく使われる王道の手法について記事を書くことにしました。 概要 線形代数学の特異値分解（SVD）の知識を活かして、原始的な画像圧縮アルゴリズムをRustで実装します。 SVDとは？ SVDは、線形代数学でよく使われる行列の分解です。行列の分解は、同じマトリックスを他のマトリックスに分けて表現することです。SVDの他に、LU三角分解、QR分解などがあります。 SVDは、あるAというマトリックスの列空間と行空間の固有ベクトルを計算して、それぞれをUとVというマトリックスに収めます。さらに、Σという対角行列に、固有値の平方根を入れます。Vの転置行列をV'と定義しますが、以下の分解になります。 Σの体格行
ファインディ株式会社でフロントエンドのリードをしております 新福(@puku0x)です。 弊社では、数年前に社内のCI環境をすべてGitHub Actionsに移行しました。 この記事では、弊社のGitHub Actions活用事例の内、CI高速化についてご紹介します。 なぜCI高速化に力を入れるのか CI高速化 キャッシュの活用 ジョブの並列化 Larger Runners まとめ なぜCI高速化に力を入れるのか 当ブログをはじめ弊社では、たびたびCI高速化の大切さについて言及しています。 Findyの爆速開発を支えるテクニック - Findy Tech Blog RailsのCIのテスト実行時間を 10分から5分に高速化した話 - Findy Tech Blog Findy転職フロントエンドの開発生産性を向上させるためにやったこと - Findy Tech Blog これはなぜでしょう
西川善司の3DGE：PS5 Proの実像をテクニカルプレゼンテーションから考察してみる ライター：西川善司 Sony Interactive Entertainment（以下，SIE）は，2024年9月11日に，「PlayStation 5」の上位機にあたる「PlayStation 5 Pro」を2024年11月7日に発売すると発表した（関連記事）。 テクニカルプレゼンテーションの動画内で明かされた情報はそれほど多くはなかった。それでも重要なキーワードはいくつかあったので，そのあたりをヒントにして，筆者独自の考察も加えつつ，詳しく見ていくことにしたい。 Proモデルは「体験の進化」ではなく「映像のグレードアップ」 PlayStation 4を開発していた頃から，PSハードウェア仕様を監督する「リードアーキテクト」に就任したSIEのMark Cerny（マーク・サーニー）氏には，筆者も直接取
タスクをスケジュールすることが、タイムブロッキングやタスクのバッチ処理、一日のテーマ設定など、どの方法であれ、生産性を高めるために重要であることはご存じかと思います。 しかし、たくさんのタスクがあって、それらをどう優先順位付けしてスケジュールすべきかわからないとき、何から手をつけるべきか、何を任せるべきか、あるいは何を忘れるべきかを効率的に決める方法が必要です。 そんなときに役立つのが、今回ご紹介するアイゼンハワー・マトリックス。 アイゼンハワー・マトリックスとは？この評価および生産性向上のためのツールは、元アメリカ大統領ドワイト・アイゼンハワーにちなんで名付けられました。 彼はかつて、Dr. J. ロスコー・ミラーの「私には2種類の問題がある。緊急のものと重要なものだ。緊急なものは重要ではなく、重要なものは決して緊急ではない」という言葉を引用しています。 ミラー博士には申し訳ありませんが
Railsアプリの自動テスト環境をCirlceCIからGitHub Actionsへ移行したときにやったこと - ZOZO TECH BLOG
はじめに こんにちは、WEARバックエンド部バックエンドブロックの塩足です。普段は弊社サービスであるWEARのバックエンド開発・保守を担当しています。 WEARのバックエンドでは、これまで自動テスト環境としてCircleCIを使用していましたが、運用保守の改善を目的にGitHub Actionsへ移行しました。 今回は、GitHub Actionsへ移行する際に取り組んだ以下の3点について紹介します。 効率的にテストを分割してテストを並列実行する方法 失敗したテストのみを再実行する仕組みの構築 GitHubのCheck annotationsを活用して、失敗したテスト情報を表示 また、最後に今回行ったテストカバレッジのレポーティングとGitHub Pagesでのホスティングの方法について紹介します。 目次 はじめに 目次 背景 なぜ自動テスト環境をCircleCIからGitHub Acti
MN-Core Challenge #1 で優勝しました 【問題解説付】 - prime's diary
2024/8/28 - 2024/9/23 に開催されたプログラミングコンテストMN-Core Challenge #1に参加し、なんと優勝することができました！ この記事ではコンテストの振り返りと各問題に対する自分の解法の簡単な解説を行います。 MN-Coreについて 概要 MN-CoreシリーズはPreferred Networksが開発しているアクセラレータで、高いピーク性能・電力効率を実現するためかなり割り切った設計になっています。 数千個あるPEがすべて同期して動作する、条件分岐やループといった命令は存在しない、などの特徴により、動作がほぼすべて決定的*1という特徴があります。 ループや条件分岐がないため、繰り返し動作はその回数分だけ命令を並べることになります。 この特徴により、実行時間がほぼ命令数に比例することになります。逆に、命令数を減らせればそれだけ短時間で計算が完了するこ
WebKit Features in Safari 18.0
Safari 18.0 is here. Along with iOS 18, iPadOS 18, macOS Sequoia and visionOS 2, today is the day another 53 web platform features, as well as 25 deprecations and 209 resolved issues land in WebKit, the rendering engine driving Safari. New in Safari 18 Distraction Control Distraction Control lets you hide distracting items as you browse the web, such as sign-in banners, cookie preference popups, n
Builder Day 2024: 18 big updates to the Workers platform
Try out Workers Logs today. You can learn more from our developer documentation, and give us feedback directly in the #workers-observability channel on Discord. Connect to private databases from WorkersStarting today, you can now use Hyperdrive, Cloudflare Tunnels and Access together to securely connect to databases that are isolated in a private network. Hyperdrive enables you to build on Workers
ecschedule用のYAMLファイル専用リポジトリを解体して、各アプリケーションのリポジトリへ移管した話 - コネヒト開発者ブログ
プラットフォームグループでインフラエンジニアをしている @laughk です。 今回は、当社の ECS Scheduled Task の管理リポジトリを解体し、各アプリケーションのリポジトリへ移管した話を紹介します。 背景 なぜ一元管理しているリポジトリを解体したのか ECS関連のデプロイ・リソースの管理状況が変わった ecschedule の運用の安定し、プロダクトのリポジトリから独立している状況が煩わしくなった 解体から移管の概要 解体から移管の際に意識・工夫したこと git log は git filter-repo を使って保持した状態で移管 コードだけ移管するのではなく CI/CD による自動化もセット Pull Request 作成時に行うジョブ mainブランチマージ/tag push時に行う適用のジョブ デプロイで扱うCLIツールは aqua で管理 バッチ専用リポジトリを
.app 1 .dev 1 #11WeeksOfAndroid 13 #11WeeksOfAndroid Android TV 1 #Android11 3 #DevFest16 1 #DevFest17 1 #DevFest18 1 #DevFest19 1 #DevFest20 1 #DevFest21 1 #DevFest22 1 #DevFest23 1 #hack4jp 3 11 weeks of Android 2 A MESSAGE FROM OUR CEO 1 A/B Testing 1 A4A 4 Accelerator 6 Accessibility 1 accuracy 1 Actions on Google 16 Activation Atlas 1 address validation API 1 Addy Osmani 1 ADK 2 AdMob 32 Ads
State Feedback Control: Design Gains using Pole Placement - 制御工学ブログ
This article summarizes state feedback control for systems expressed in state equation form. It particularly touches on gain design using pole placement methods and the relationship between pole placement and performance. At the end, you can find control simulations and related videos to watch together with this article. For an overview of state feedback control, see the following article: Summary
Stability of Systems Represented by State Equations - 制御工学ブログ
This article summarizes the stability of systems represented by state equations. Videos related to stability are placed at the bottom. Poles of the Controlled System and Stability When the Order of the Controlled System is 1 Lyapunov's Stability Criterion Lyapunov Equation for Linear Systems MATLAB Live Script File Videos Related to Stability Poles of the Controlled System and Stability Here, I wi
Google ColabでLLM（llm-jp-3-instruct、HF形式）をGGUF形式に変換する｜まゆひら
Google ColabでLLM（llm-jp-3-instruct、HF形式）をGGUF形式に変換する ※ Last update 10-03-2024 ※ (10-3) rinna/gemma-2-baku-2b-it も利用できます。 ※ (10-3) 3-3.に、google/gemma-2-2b-jpn-it への対応方法を追加しました。 ※ 本記事はHugging Face形式のモデルの変換がメインです。GPUは使用しません。モデルの動作確認もできますが遅いので、特にllm-jp-3-instruct 13bは行わない方が良いでしょう。 ※ 記述がややこしくなるため、F16やf16の記述を省いています。こちらが必要な場合はBF16やbf16の部分を読み替えてください。 ※ Windows PC版については、別の記事を公開する予定です。 ■ 0. はじめに▼ 0-0. 本記事の内
MATLAB Simulations of Control Engineering Topics - 制御工学ブログ
This article explains control using MATLAB with images and videos, focusing particularly on state feedback control. The videos and related article links explaining MATLAB simulations are provided at the bottom. The following article summarizes state feedback control: >>Summary of Control Based on State Equations Basics of State Feedback Control Link to MATLAB Source Execution Results Lyapunov's St
【Transformer】LLM(Large Language Model)のパラメータ数の概算法 - あつまれ統計の森
昨今LLM(Large Language Model)が大きな注目を集める一方で、パラメータ数がどのように決まるかについて抑えておくと理解に役立ちます。そこで当記事ではLLMの主要モジュールであるTransformerに用いられるパラメータの概算法について取りまとめを行いました。 Transformerの論文や筆者作成の『直感的に理解するTransformer』の内容などを元に取りまとめを行いました。 ・用語/公式解説 https://www.hello-statisticians.com/explain-terms ・Transformer論文 ・直感的に理解するTransformer(運営者作成) パラメータ数の概算 パラメータ数の単位 LLM(Large Language Model)関連の論文ではパラメータ数はMillionを表すMやBillionを表すBで略記されるので注意が必要
This article summarizes state estimators (state observers) for systems represented by state equations. A video explaining the state observer for systems expressed by state equations is provided at the bottom. Observers are also called software sensors because they observe information that cannot be directly measured through computation. For an overview of state feedback control, please refer to th
Workers vs. Pages (compatibility matrix) | Cloudflare Workers docs
1 If you need to run a Worker script ahead of serving static assets, we currently recommend using Service bindings to connect a Worker in front of the Worker with assets. We plan to explore additional configuration to support more complex routing in the future. 2 You can handle redirects by adding code to your Worker (a community package ↗ is available for _redirects support), or you can use Bulk
はじめに 記事に興味を持っていただきありがとうございます！ 本記事は、ChatGPTの「o1」モデルについて、その概要や「4o」モデルとの使い分け、さらに「o1」モデルがもたらす将来をより知ってもらいたく作成しました。 2022年11月30日にChatGPTが登場して以来、OpenAIを中心にAIは目覚ましいスピードで進化を続けています。そして、2024年9月12日にはOpenAIは新たな「o1」モデルを発表し、同日そのプレビュー版である「o1-preview」モデルにアクセスできるようになりました。 ▶︎ 公式情報はこちら 私自身、ニュースやSNSを通じてこの「o1」モデルについて知る機会はありましたが、実際にモデルの能力がどれほど優れているのか、「4o」モデルとどのように異なるのか漠然とした理解しかありませんでした。そこで今回、公式情報や他にも信頼のある情報を基に学んだことを整理し、ア
How 3 Turing Awardees Republished Key Methods and Ideas Whose Creators They Failed to Credit
LBH also have participated in other PR work that has misled many. For example, the narrator of a popular 2018 Bloomberg video[VID2] is thanking Hinton for speech recognition and machine translation, although both were actually done (at production time of the video) on billions of smartphones by deep learning methods developed in my labs in Germany and Switzerland (LSTM & CTC) long before Hinton's
レポート 「Intel Gaudi 3」が正式発表、実機を見てきた。PCIeカード版も投入して小規模利用にもアピール Intel Xeon 6 6900PとGaudi 3が正式発表 インテルは2024年9月25日にXeon 6プロセッサのP-Core版の最大TDP500W製品とAIアクセラレーターGaudi 3を正式発表しました。 当日展示されていたGaudi 3とそれを搭載するSupermicroのサーバー Gaudi 3のメザニンカード。システム構成上は8192枚までスケールアップ可能 パットゲルシンガー氏のサイン入り筐体 なぜかXeon 6の展示無し。という事で、9月3/4日に開催されたIntel Connection Tokyo 2024の展示会場での写真。正式発表前なので詳細なSKU名は書かれていません 今回は技術系発表会という事で、技術本部の3名とゲストスピーカー2名が登壇。冒
State-Space Model for Control: Mathematical Modeling through State Equations - 制御工学ブログ
This article summarizes the state-space realization of system state equations. In control based on state equations, deriving a mathematical model is the first step. A video explaining state equation representation is placed at the bottom. Here, I will explain the formulas related to state equation representation, classify control systems, and discuss methods for deriving state-space representation
State estimator unaffected by sensor outliers: MCV approach - 制御工学ブログ
This blog is about state estimation method unaffected by sensor outliers. Explanation of state observer in the below. The state estimation problem for systems where observation outputs include outliers is addressed herein. When the observation output has outliers, the accuracy of the state estimation is dramatically worse. To overcome this problem, a novel observer structure using multiple candida
System Identification: Obtaining Dynamical Model - 制御工学ブログ
In this article, we summarize system identification and dynamic system modeling. Links to related articles and explanatory articles are placed at the bottom. Overview of System Identification Model Representation Example of System Identification Simulation About Mutual Conversion of Mathematical Models Videos and Related Articles on System Identification Books on System Identification About Me Ove
Equivalent Transformations of State Equations: What Properties Are Preserved Through Coordinate Transformation? - 制御工学ブログ
This article summarizes the equivalent transformation (coordinate transformation, equivalence transformation) of a system expressed by a state equation. A video explaining the equivalent transformation of state equations is provided at the bottom. The overall picture of state feedback control is summarized in the following article. Summary of State Feedback Control and Control Based on State Equat
Controllability and Observability of Systems - 制御工学ブログ
This article summarizes the controllability and observability of systems. First, I would like to discuss controllability. Links to videos explaining controllability and observability are provided at the bottom. The overall picture of state feedback control is summarized in the following article. Summary of State Feedback Control and Control Based on State Equations State Equation Representation Co
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
いまや、DJはもうDJじゃない。デリック・メイと考える人工知能と｢人の意思｣
要件定義｜2分で読める機能要件で使うドキュメントを調べてみた - Qiita
「見せかけの回帰」の復習 - 渋谷駅前で働くデータサイエンティストのブログ
線形代数学+Rustで画像圧縮のアルゴリズムを実装する - Qiita
ファインディでのGitHub Actions高速化の事例 - Findy Tech Blog
西川善司の3DGE：PS5 Proの実像をテクニカルプレゼンテーションから考察してみる
タスクの優先順位を決める「きほんのき」。アイゼンハワー・マトリックス実践方法 | ライフハッカー・ジャパン
日本語版 Gemma 2 2B を公開
State Observer for State Space Model - 制御工学ブログ
ChatGPT-o1をナメない方がいい：詳細概要と4oとの違い、将来の使われ方など - Qiita
「Intel Gaudi 3」が正式発表、実機を見てきた。PCIeカード版も投入して小規模利用にもアピール