世界一わかりやすいゼロ知識証明 Vol.2: Zero-Knowledge Proofs in the Context of Modern Cryptography
このブログシリーズをグラントプロジェクトとしてサポートしてくださっているイーサリアム財団、また執筆に際してフィードバックとレビューをしてくださった末神奏宙さんに感謝します。 Special thanks to Ethereum Foundation for awarding grants to this blog post series, and Sora Suegami for feedback and review. このブログシリーズは、ソフトウェアエンジニアに限らず、あらゆる日本の読者のみなさんに向けて、最先端の暗号技術とその重要性をわかりやすく説明するという趣旨で書かれています。それぞれ単体の記事としてもお読みいただけますが、順番に読み進めていくことでより理解が深まります。まだお読みでない方は、ブロックチェーンやコンセンサスアルゴリズムの仕組みについて解説しているVol.1を先に
独断と偏見でまとめる2024年10月現在ゼロから学んで今から生成モデルをコーディングできるために必要な知識集 - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 所属大学にて9月に1日で機械学習なんもわからん状態から生成モデルを組めるようになろうというワークショップをした。普通に考えて参加者側の視点に立ったら無理なんだが, まあとにかくそういうイベントをやった。やってみたところ, 「何話してるのかわからん」という感想が多く大絶賛だった(反省しています)。 ただワークショップ中にきた質問が結構自分も最初のころは躓いたところだな〜〜というものも多く, ワークショップ中にきた質問点をまとめていけば案外生成AIをフルスクラッチで作れる技術者になるためのTips集が作れるのではないかと思い, この記事を書
Tamaguiチームから、Webとネイティブアプリを単一コードベースで開発するReactフレームワーク「One」が発表されました。 近年ではWebとネイティブを単一ソースコードで開発するスタックのことはUniversal Appと呼ばれ、徐々に注目を集めています。例えばユニバーサルなスタイルフレームワークであるTamaguiは、ExpoとMetro、Next.jsを使ったボイラープレートを提供してきました。 OneはReact NativeのビルドツールであるMetroの代わりに、Viteプラグラインとして動作します。また、WebサーバーとしてHonoを採用しています。 ドキュメントを一通り読んでみて、これはネイティブアプリにおけるReact Server Components（以下RSC）実装の未来を示したフレームワークではないかと思ったので、紹介&考察記事を書こうと思いました。 One
Send feedback Stay organized with collections Save and categorize content based on your preferences. Pipe syntax Pipe syntax is an extension to GoogleSQL that supports a linear query structure designed to make your queries easier to read, write, and maintain. To enroll a project in the pipe syntax preview, fill out the BigQuery pipe syntax enrollment form. Overview You can use pipe syntax anywhere
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. 本記事の内
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
Zero
Developing web applications has gotten insanely complex. You need a tall pile of tech to build a "modern" web app: client-side code, server-side code, APIs to tie them together, data fetching, state management, hydration, websockets for reactivity, and a whole lot more. And once you're done, the resulting app still isn't very good. It's time for a rethink. We’re building a general-purpose sync eng
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
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Webとネイティブを融合させてRemixのようなデータ取得ができるフレームワーク”One”と、RSCの未来
Pipe syntax | BigQuery | Google Cloud