特色 母音と子音が左右に分かれています。 日本語の約83%を両手で交互に打鍵できます。 濁音・半濁音が清音の上下にあります。 タッチタイピングを覚えやすいです。 Z・X・C・Vなどの位置はQWERTYのままです。 基本的なショートカットの操作性が失われません。 よく使うキーが、押しやすい場所にあります。 ＊青空文庫から採集したローマ字100万字中の出現頻度（％） 同じ指を連続で使うことは、ほとんどありません。 ＊30鍵の中で起こる全ての連続に占める割合（％） ほかにも、片手内でよく連続する２打が打ちやすいこと、英語やプログラミング言語も打ちにくくないこと、ローマ字規則の拡張を前提としないことなど、さまざまな使いやすさが考えられています。 詳しい制作過程はこちら。 評価 一般的なQWERTY配列は、1800年代に英文モールス信号の復号作業のためにABC順を崩して作られ、市場の独占によって普及
昨年クラウドファンディングで購入した「Freewrite Traveler」だが、日本語入力に対応しておらず、ファームウェアのアップデート待ちであった。それまでの間は、手持ち無沙汰なときにアルファベットを打つだけ打ってキーボードの触感を得るというフィジェットのような役割をしていた。ぼくは何の端末にも接続されていないキーボードを手慰みで叩いていることがあるので、その癖については問わないでいただきたい。 さて、そのままではやけに高価なフィジェットで終わってしまうわけだが、意識高い系のガジェットとして見た目が良く、樹脂のエッジが少々鋭いと感じること以外は、所持する満足感は非常に高い。 昨年当時、公式Twitterによる他ユーザーからの問い合わせに対するリプライでは、CJK（中国語、日本語、韓国語）への対応は年末予定と書かれていたが、特にアナウンスもないまま年が明けた。 その間、公式ではフォトコン
Theorem Proving in Lean 4 by Jeremy Avigad, Leonardo de Moura, Soonho Kong and Sebastian Ullrich, with contributions from the Lean Community このテキストは読者がLean 4を使うことを前提にしています。Lean 4をインストールするには、Lean 4 Manualの節Quickstartをご覧ください。このテキストの最初のバージョンはLean 2用に書かれました。Lean 3用のバージョンはこちらで入手可能です。 この翻訳について translated by aconite(2章～12章), Haruhisa Enomoto(1章) この翻訳は有志による非公式翻訳です。翻訳に際して、表現を大きく変えた箇所や、分かりやすさを期すため記述やコード例を追加
[ English | Français | 日本語 ] 日本語LLM・海外LLMのパラメータ数の推移。日本語モデルの情報は本記事、海外モデルの情報は LifeArchitect.ai の Models table を参照しています（ただし、図のスペース上一部のモデルは省略。また、海外モデルのパラメータ数は推測値を含む）。修正・追加等ありましたらお知らせ下さい。 この記事は、一般公開されている日本語LLM（日本語を中心に学習されたLLM）および日本語LLM評価ベンチマークに関する情報をまとめたものです。情報は、有志により収集されており、その一部は論文や公開されているリソースなどから引用しています。 ::: warning 以下の点について、あらかじめご理解とご了承をお願いいたします 本記事の内容は、完全性や正確性を保証するものではありません。これらの情報は予告なく変更されることがあり、また
Google CGI API for Japanese Input Google CGI API for Japanese Input は、日本語変換をインターネット上で実現するための、CGI サービスです。 リクエスト http://www.google.com/transliterate に対して HTTP リクエストを発行します。GET メソッドを使ってください。以下の CGI パラメータを（URL エンコードした上で）指定します。 langpair=ja-Hira|ja text=（変換したいひらがな列） text のひらがな列は UTF-8 でエンコードします。例えば、「へんかん」をリクエストする場合は、 http://www.google.com/transliterate?langpair=ja-Hira|ja&text=%E3%81%B8%E3%82%93%E3%81%8B
tmuxとは インストール セッション操作 ウィンドウ操作 ペイン操作 コピー操作 その他の操作 カスタマイズ tmuxとは ターミナルマルチプレクサ(Terminal Multiplexer) の略です。 Linux 系のターミナル画面を複数のセッション、ウィンドウ、ペインに分割して利用することができます。 ひとつのターミナルは複数のセッションを持つことができます。 ひとつのセッションは複数のウィンドウを持つことができます。 ひとつのウィンドウは複数のペインを持つことができます。 ターミナルを終了してもセッションは維持されます。コマンドを実行して翌日の朝結果を確認しようとしたら SSH ログアウトしてしまっていたという悲劇を避けることができます。 インストール // CentOS 7 # yum install -y tmux // Ubuntu # sudo apt install t
Slowly start learning LiteX and Migen. 以前に、SpinalHDL というハードウェア記述言語や、オープンソース（あまり好きな言葉ではないが）の論理合成ツール Yosys、Place and Route ツール nextpnr を使って、設計した論理回路や RISC-V SoC を Lattice 社の FPGA 上で動かしてました。 SpinalHDL による SoC 設計は面白いのですが、SpinalHDL プロジェクトの進み方は基本的に Charles Papon さんの意向次第なので、私の期待している方向にプロジェクトが進まないことがあります。（以前の様子ですと、Papon さんは SMP による Linux 動作に取り組んでいらしたようです。）また、やはり Scala ベースの Chisel や SpinalHDL を利用するには、どうしても
Kindleの辞書は辞書ファイルを読み込んでいるだけなので、差し替えることができます。 （差し替える用の辞書ファイル（*.prc）を持っている前提になります） ※私は英和辞書を入れたいので、英日辞書を入れ替えてますが、他の言語だと置き換え先のファイル名が異なると思います。 Kindle アプリ（Android） 英語-日本語の辞書をダウンロードしておく。（適当な本を開いて英単語を長押しすると辞書が入ってきます。英語-日本語の辞書をダウンロード）既にダウンロードしてあって英-日が引ける場合は、何もしなくてよいです。 ディレクトリを開いて、Kindleアプリの標準の英和辞書「プログレッシブ英和辞書」の場所を確認する（PCに接続して確認するか、Android用のファイルマネージャアプリをインストールして使う） <デバイス名>\Android\data\com.amazon.kindle\file
しぴぴぴ！ Vtuberのしぴちゃん (https://www.youtube.com/@CP-chan)です。普段はゲーム配信しかしてませんが、たまにAIについて発信することがあります。今日はAIの記事の方。 現在はローカルAIモデルに関する連載をしています。 第一弾 本記事（DeepSeek R1をほぼ準備なしからローカルGPUで動かす） 第二弾 Cline＋ローカル版DeepSeek R1でAIコーディングを使い放題にする（高スペックマシン向け） 最近話題のローカルで動くLLM、DeepSeek R1 をローカルGPU環境（NVIDIA）で動かしてみましょう。 多少のコマンドラインの操作ができれば、事前にローカルLLMを触ったことがなくてもインストールできるように書くつもりです。 サムネはDeepSeek R1くんに画像を生成してもらおうとしたところです（そんな機能はありません）。
このページは Software Foundations の日本語翻訳版「ソフトウェアの基礎」です。 「ソフトウェアの基礎(Software Foundations)」シリーズでは、高信頼ソフトウェアに関する広範囲の数学的基礎を学びます。 このシリーズの特徴は、取り扱う内容がすべて形式化されて、さらに機械によって確かめられることです。 これは、それぞれのテキストがCoqのスクリプトファイルそのものとなっていることで実現されています。 読者は、学部生から博士課程の学生や研究者に至るまでの広範囲を想定しています。 論理学やプログラミング言語についての知識は仮定しませんが、ある程度の数学的素養は理解に有用です。 1学期分の講義として、論理の基礎に加えて、プログラミング言語の基礎または検証済み関数型アルゴリズム、あるいは両方の一部を扱うように設計されています。
ユネスコ無形文化遺産登録から10年を経て、登録当時には約5.5万店だった海外の日本料理店が、2023年には約18.7万店にまで増えるなど日々関心が高まっています。 京都府立大学、日本料理アカデミーでは京都から国内外を問わず和食のさらなる発展と和食文化を担う人材の育成を目指し、「日本料理大全 デジタルブック」を公開します。 ある料理を知るためには、まずその背景を知らないと始まりません。「日本料理大全」シリーズは手法のみを解説するのではなく、考え方の基礎を示していくことを目指しています。経験や勘に頼るのではなく、なぜこの味が生まれるのか、どうしてこの調理法になるのか、といった根拠や科学的な理由を示しています。それらをもとに料理する人が考え、取り入れ、オリジナルの料理を生み出す手助けとなることを目指しています。 このシリーズが日本料理の発展・普及の一助となり、多くの人々の健康と喜びを導くことにな
みなさまお元気ですか 暑さも少し落ち着いてきて、ようやく外に出てもいいかなという気になってきました。季節の変わり目体調には気をつけていきたいですね。 実は、一ヶ月くらい前に Linux PC を自作して Mac から移行しました。そのときの考え、その後の感想を残しておきます。 また、学んだことや作業のログを細かく残しておきたいと思います。（どこかの誰かが不安に思ったときに同じ失敗や疑問を経験した人がいて安心してもらえたら嬉しい） Ubuntu のインストール画面 (ベストオープンソースと開発しよう！) 目次 Mac をやめるきっかけ、経緯 Ubuntu に移行して一ヶ月の感想 おまけ1: どのような PC になったか おまけ2: 事前に学んだこと おまけ3: PC の組み立て おまけ4: Ubuntu のセットアップ 加筆/修正 指摘のあった誤字を修正 NVEnc について誤った内容があっ
本書では、64-bit ARM (ARMv8/AArch64) アーキテクチャを前提としたハイパーバイザの仕組みをできるだけ分かりやすく解説し、実際にラズベリーパイ4やQEMUで動作するハイパーバイザ (Type1) を自作する方法を解説しています。 ソースコード: https://github.com/HidenoriMatsubayashi/evisor ⬛︎ 注意 本書はまだ作成中（現在5章を作成中）ですが、モチベーション維持のために公開している状態です（章立てなど今後変わる可能性ありです）。内容は随時更新していますので、気になる方はウォッチやコメント等をお願いします。 ⬛︎ 学べること ・ハイパーバイザとその仕組みと原理 ・64-bit ARM (ARMv8/AArch64) アーキテクチャの仮想化支援機構 ・自作ハイパーバイザの作り方 ⬛︎ コミュニティ 質問や間違い指摘など本書
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く