Yutaka Hara

40% Keyboard Discordは、40%以下の小さなキーボードに魅せられた人間の集うDiscordサーバだ。言語はすべて英語だが、投稿される写真を眺めているだけでも楽しめるだろう。入口下記ページにDiscordサーバへの招待リンクがある。Home | 40% Keyboards Wikiチャンネル紹介膨大な数のチャンネルがあるが、重要そうなものをいくつか紹介する。内容は2025年現在のものなので注意。showcaseおよびchefs-choice素敵なキーボードの写真が集まるチャンネル。vendorsキーボードショップからのお知らせが投稿されるチャンネル。新作の販売やセールの開始など。ic-gb-announcementsIC(Interest Check)およびGB(Group Buy)の案内が投稿される。基本的に1キーボードにつき1つのチャンネルが作られるのだけど、チャンネル欄が長くなりすぎないように、デフォルトでは存在が隠されている。Joinボタンを押すことで当該キーボードのチャンネルが表示されるようになる。たまにJoinボタンが動作していないことがあって、そういう場合はquestion-mark-ranksというチャンネルを使う。ここに例えば?rank Discretionと送信すると、Discretionという名前のキーボードのチャンネルが左のチャンネル一覧に現れる。rankの一覧は?ranksで見ることができる。buy-sell-trade-mini-gbsチャンネルを立てるまでもない、小規模なGroup Buyを開催するチャンネル。どのキーボードにもいえることだが、チャンネルがあるからといって必ず発売されるわけではない。作者が忙しくなって立ち消えになるとか、進捗がないまま数年が経つみたいなケースもままある。その分、応援していたプロジェクトが無事GBを経て手元に届いたときの喜びはひとしおだ。

自キ沼の深淵へ！40% Keyboard Discordの歩き方

このエントリは言語実装 - Qiita Advent Calendar 2024 - Qiitaの25日目の記事です。メリークリスマス！処理系ミートアップとはプログラミング言語処理系が好きな人の集まりというオンラインコミュニティがあります。処理系ミートアップはこのコミュニティから生まれたイベントで、月１程度でオンラインにメンバーが集まって進捗報告とか進捗しない(詰まった)報告とか雑談とかをするという内容です。開催記録はCosenseにまとまっています。本年は第57回から第68回まで、11回開催されました。ゲスト回最近は私がイベントページを立て、monochromeさんが配信を用意し、raviqqeさんが司会をするというなんとなくの役割分担でやっていますが、今年は何度かTwitterで見かけた言語作者に声をかけて発表をお願いしてみました。第57回scala-jsのtanishikingさん第68回Catlaのbea4devさんまた昨年の第50回ではErgのShibaさんにお越しいただきました。YouTubeに録画があるのでぜひご覧ください。

今年の処理系ミートアップ

このエントリは言語実装 - Qiita Advent Calendar 2024 - Qiitaの24日目の記事です。ShiikaとはShiikaは私が作っている、Ruby風の文法をもつ静的型付け言語です。昨年まででInteger/String/Arrayなどの基本的なところは実装したのですが、そのあとIO機能を実装するところで、これは先に並行性のサポートについてちゃんと考えておかないとなと気付き、今年はその作業をしていました。(たとえば後から並行性のサポートを無理やり入れたため、Fileのreadとread_asyncが両方あって使い分けないといけない…みたいなことは避けたいなという話です。並行性いろいろ考えましたが、流行りのasync/awaitではなく、GoのようにIO等のタイミングで自動的に処理が切り替わるというのを考えています。ただGoのようなマルチスレッドではなく、Node.jsのようにシングルスレッド方式とすることで、より気軽に並行処理を書けるようにしたいと思っています。この場合CPUヘビーな処理が書けなくなりますが(その間他のタスクも止まってしまうため)、もともと性能最重視の言語ではないので、ジョブキューのような形で複数プロセスを使って並列化するか、そういうところは別の言語で書く、ということになると思います。ただ可能なら一部の処理だけ切り出して単独のスレッドを割り当てるとかできるといいですね。CPS変換平行性の実装ですが、Shiikaの関数(メソッド)をCPS変換した形のLLVM IRを吐き、Rustのtokioの上で動かすというのを考えています。これを実験していたのが以下のリポジトリです。https://github.com/yhara/milika(この頃はついでにMLIRを使う実験もしていたのですが、最終的には、MLIRは使わないことに決めました。上記のようなレイヤーの処理をするにはあまり向かなそうとわかったからです。GPU上で動かす言語を作るとかならとても便利だと思います。)実装にあたってはraviqqeさんのPen言語という先人の知恵に助けられました。ありがとうございます。バックポートということでなんとなく動きそうというのがわかったので、その後は実験結果を本体にマージする作業を進めています。ifやwhileなど単純なものは既に動いていますが、メソッド呼び出し、型推論、クロージャあたりを統合する作業がけっこう面倒かもしれません。まあ来年もぼちぼちやっていきます。

Shiika進捗(2024)

KeebWorld Conference 2024 松江 ←みてこのかっこいいウェブサイト！私のスライドはこちら。このイベントのために、KEEB_PDに上げてなかった秘蔵っ子たちです。イベントについて初の松江開催でしたが、いやあ、良かったですね。会場も満員、キーボードも机が足らなくて拡張するくらいの展示台数でした。カバンから手品師みたいに次々とキーボードを取り出すまつもとさんが面白かったです。運営のみなさまありがとうございました。このエントリはkoneko40で書きました。そう、koneko40も秘蔵してたんですけど、おもしろ優先選定の結果、上記のメンツになりました。

KeebWorld Conference 2024で発表しました

このエントリは言語実装 - Qiita Advent Calendar 2024 - Qiitaの10日目の記事です。最近やってた「ファミコン上で動作するRuby」ですが、シンプルなゲームが実装できるとこまでできたのでいったんv0.1.0としました。https://github.com/yhara/nesrubyゲームは先日のRubyWorld Conference 2024の弊社ブースで展示していたものです。JSNESを使ってgithub pagesにもアップロードしておきました。https://yhara.github.io/nesruby/仕組みcc65というCコンパイラがファミコン向けの機械語を生成してくれるので、それを使ってmruby bytecodeのインタプリタを実装したという形です。実装はmruby/cのソースを大いに参考にさせていただいています。ありがとうございます。最初に「こういうふうに書けたらいいな」というRubyプログラムを書いて、それをmruby(mrbcコマンド)でコンパイルして、出てきた命令を一つずつmruby/cから移植する、という感じで作っていました。まだメソッド定義ができなかったり、GCがなかったりするので、そのあたりもいつかチャレンジしてみたいですね。

ファミコンで動くRubyをつくりました

このエントリはKEEB_PD 2024 Advent Calendar 2024 - Adventarの23日目の記事です。昨日の担当はMAXさんでした。トロピカルの写真、色合いが決まってていいですね。今年の投稿今年はテーマを決めて一連の写真を撮るというのをやってみました。一つはSufferというマクロパッドにいろいろなキーキャップを付けてみたシリーズ。Keyboard: SufferSwitch: Gateron Oil King, etc.Keycap: SA Geoma#KEEB_PD #KEEB_PD_R204 pic.twitter.com/9JrTd1z5r9— yhara (Yutaka HARA) (@yhara) June 30, 2024 もう一つは逆にDeadline Studio AirWaveという夏っぽい透明キーキャップをいろいろなキーボードに付けてみたSummerシリーズです。なんでシリーズにしたかというと、自分が見てみたかったから…というくらいの理由ですが。Summer #4 (Imposter)Keyboard: Lazydesigners BoltSwitch: TECSEE JadeiteKeycap: Deadline AirWave#KEEB_PD #KEEB_PD_R210 pic.twitter.com/4y3kfRpO8T— yhara (Yutaka HARA) (@yhara) August 11, 2024 (↑お菓子の紙袋を背景にしたところ、ちょうど因幡の白兎のSAGI、が見えて、Artisan KeycapがImposter(詐欺師)という名前なので、そこだけ残してみた一枚。)KEEB_PDに参加する理由KEEB_PDへの参加理由は人それぞれだと思いますが、私の理由は「コミュニティへの還元」です。キーボードキットやキーキャップセットを購入するときって、ショッピングサイトの写真はレンダリング画像だけだったりして、インターネットに実物の写真が上がっているととてもありがたいんですよね。そういうことがあるので、自分でも入手した品物はできるだけ写真を上げたいと思っています。あとは、自キのキットは作者の好意で公開なり頒布なりされているわけで、それに報いたいという気持ちもあります。そのような機会をくれているKEEB_PDには感謝しています。ちなみに…私はもう結構長いこと参加していますが、未だに「1位」を取ったことがありません。(^^;KEEB_PDのDはDuel(だったと思う)なので、Likeを稼ぐのもいいですが、Like数だけにこだわると、例えばキーボード専用のアカウントを作ってそれ以外の発言は控えた方がいいとか、ライバルの写真にはいいねしないとか、あんまり楽しくない方向に行きそうなので、何かの偶然で1位になれたらいいな～くらいの気持ちのほうが長続きするかなと思っています。と思ったらにるぽさんもふぁぼはおまけって書いてた！来年も、こんな素敵なキーボードがあるんだぜ～という写真を撮っていきたいですね。この記事はcocot46plusとkoneko40で書きました。koneko40は12uのロウスタッガードで、僕が最初にKEEB_PDに参加したALETH42と同じ配列なんですよね。当時はLキーの右に1キーしかないことに苦戦していたのですが、littolによる30%修行を乗り越えた今ではCOMBO KEYなしでもだいぶスムーズに打てるようになりました。成長を感じて嬉しいです。明日の担当はJourkey, Ejectix, CenterxEnterなど印象的なキーボードをいくつも開発しているtakashicompany さんです。

わたしがKEEB_PDに投稿する理由

このエントリは言語実装 - Qiita Advent Calendar 2024 - Qiitaの17日目の記事です。今日は処理系実装上のTipsを一つ紹介します。例：if式たとえばC言語みたいに、  if (a) {    b    c  } else {    d  }のようなif式をもつ言語を作りたいとします。文と式が分かれている言語にする場合、Rustで実装するとこんな感じになるでしょうか。struct Stmt {  ...  ExprStmt(Box<Expr>)  //いわゆる式文。}struct Expr {  IntLiteral(usize),  ...  If {    cond_expr: Box<Expr>,    then_clause: Vec<Stmt>,    else_clause: Vec<Stmt>,  }}一方、すべてが式の言語にする場合はどうでしょうか。なんとなくstruct Expr {  IntLiteral(usize),  ...  If {    cond_expr: Box<Expr>,    then_clause: Vec<Expr>,    else_clause: Vec<Expr>,  }}みたいにthenとelseが複数のExprを持つ感じにしたくなりますが、ここに複文（ならぬ、複式？）を導入してstruct Expr {  IntLiteral(usize),  ...  Stmts(Vec<Expr>) //連続した式を順に評価する。最後に評価した値をStmts全体の値とする。  If {    cond_expr: Box<Expr>,    then_clause: Box<Expr>,  //単一の式、またはStmtsが入る    else_clause: Box<Expr>,  //単一の式、またはStmtsが入る  }}のようにするとわりと取り回しが良いです（良かったです）。注意点上記の場合、空のStmtsの扱いに注意する必要があります。簡単なのは何からの「ゼロ値」を導入し（C言語のnull、LispやRubyのnil、的な）、空のStmtsを作ろうとしたときは自動的にそれを挿入することです。この場合意味論としては、例えば  if (x) {    print(x)  } else {  }というif式は  if (x) {    print(x)  } else {    nil  }と等価になります。

言語実装tips：複数の式をまとめる

こんにちは。yharaです。このエントリはキーボード #2 Advent Calendarの16日目の記事です。前回はeswaiさんの3次元配列のキーボードをSolidPythonで設計してみる - weblog.syでした。3次元配列はロマンですよね。今日の話は人体の非対称性についてです。分割キーボードやエルゴノミックキーボードは左右対称のデザインになっていることが多く、それはつまり人体が左右対称であることが暗黙の前提になっているわけですが、もしも左右非対称な打鍵フォームこそが最も疲れにくいのだとしたら？このことについて考えだしたのはコロナ期に台車先生のリモート整体を受診したときからです。台車先生というのは捨てアカさんの知人で、捨てアカさんというのは出雲の……この話はいいか。ともかくビデオ会議経由で整体をやりますという謎の告知がTwitterに流れてきて、意味わからんけど面白そうなので受けてみることにしたのでした。で、その説明ページに載っていたのがこれです。縦巻き横巻き理論とはなんぞや？│スポーツケア鍼灸スポーツマッサージ三鷹治療院鹿児島で整体をしてる先生が開発した理論なんですが、人体は「右縦巻き」と「右横巻き」の2種類に分けられるんだと。それによって、左右の手のどちらかが「縦に動かすのが楽」で、反対の手が「横に動かすのが楽」なんだそうです。件のリモート整体ですが、いくつかのテストで自分がどっちのパターンなのかを判定したあと、いろんなストレッチを教えてもらいました。デスクワークで体が凝るという話をしたからです。なんていうか、普通のストレッチって「ねじれたものをもとに戻す」みたいなイメージだったんですが、ここで教わったものは「ねじれている状態が普通で、逆ひねりされたものをもとのねじれに戻す」みたいな印象で、とても面白かったです。（ちなみに縦横の話と別に「伸び族/縮み族」という軸もあって、僕は前者、つまり体をまっすぐにしている方が楽、という判定でした。仕事も趣味もずっと座ってる生活なので、そんなぁ…と思いましたが、確かに仕事終わるとベッドに横になりたくなるんだよな）なんていうか、めっちゃ面白い話なのではやく論文とか本とかを出してくれ～と思うんですが、臨床がしたくて整体師になったのだろうし、ソフトウェアエンジニアはみんな論文や本を書くんですか？と言われると…それはあの…になってしまうので、あまり強くは言えないところ。まとめ「最適な打鍵フォームを模索するとき、左右非対称なフォームも考慮に入れて試してみるといいかもね」実は過去のKEEB_PDでこれを実践した一枚があります。これですね。右手だけテンティングしているのはそういう理由なのでした。My Desk 2022-01Keyboard: Let's TangoMacropad: M0ii0 +十Switch: Gateron Clear, etc.Keycap: Devlin Q-Series Pennie#KEEB_PD #KEEB_PD_R87 pic.twitter.com/5tFTOn5yMf— yhara (Yutaka HARA) (@yhara) March 13, 2022 このエントリはcocot46plusとlittolで書きました。katana staggeredな30%、だいぶ慣れてきましたが、日本語だと頻出する「ni」「no」あたりが打ちづらいのがちょっと大変です。明日は、KKaKさんの『TinyDashというパーツを設計した話』です。

キーボードと人体の非対称性

これはKEEB_PD 2024 Advent Calendar 2024 - Adventarの11日目の記事だ。KEEB_PDに参加してみたいけど、素敵な写真ばかりで尻込みしちゃう…、そんな初心者のあなたに贈るテクニックだ。外で撮ろう！！よい写真を撮るために必要なもの、それは採光。とはいえ室内でいい感じの光を用意するのは簡単ではない。手の影が入ったり、光源の反対側が暗くなってしまったり、それを解決しようとするとレフ板がどうこうという話になったり…。ということでお外だ。太陽光を利用するだけで細かいことを考えなくてよくなる、日光最高～！！都会には都会の、田舎には田舎ならではの撮影スポットがあるぞ。キーボードを持って散歩しよう。こんな風に変わったロケーションが見つかれば、スマホで適当に撮るだけでもおもしろい写真になるぞ。Keyboard: littolKeyswitch: Durock Splash BrothersKeycap: SLK Dessau#KEEB_PD #KEEB_PD_R227 pic.twitter.com/punoodiEsF— yhara (Yutaka HARA) (@yhara) December 8, 2024 何枚か撮ろう！！プロのカメラマンといえどもシャッター一発で傑作を生み出すのは難しい。まして素人のわれわれならなおさらだ。場所を決めて一枚撮ったら、「少し寄ったバージョン」「少し離れたバージョン」「まっすぐにしたバージョン」「斜めにしたバージョン」などいくつか違うパターンも撮ってみよう。これをあとから見返して、一番ぐっとくるやつを投稿するのだ。さっきの例だとこうバリエーションを撮っていたぞ。以上！！今日はここまで。よきKEEB_PDライフを！

今すぐできるKEEB_PD㊙️テクニック

このエントリはmrubyファミリ (組み込み向け軽量Ruby) Advent Calendar 2024の1日目の記事です。近年、mruby bytecodeを利用していろんな環境でRubyを動かす試みがみられます。ふつうRuby処理系を自分で実装するとすればソースコードのパース→命令列への変換→VMでの実行という3段階になるわけですが、mruby bytecodeを使えば前段はmrbcコマンドがやってくれるので、後段であるVM+ランタイムの実装だけでRubyプログラムを動かすことができ、だいぶ楽になります。とはいえ…言語処理系実装の経験がなければ、後段だけでもけっこうな歯ごたえがあるでしょう。特にmruby本体はC言語で書かれているため、Rubyistにとってはとっつきづらいかもしれません。ということで、Rubyで書かれたmruby VM、mruby/rubyをご用意しました。https://github.com/yhara/mruby-ruby/みどころmrb/parser.rb.mrbファイルのバイナリを読み込む部分です。VM#eval_iseq読み込んだ命令一つを実行する部分です。runtime.rbmrubyのオブジェクトや組み込みクラスの実装です。オブジェクト指向でない言語で実装することも考え、あまりOOPを使わずに書いています。いまのところGCは実装していません(RubyのGCに任せている)。※まだmrubyのすべての機能を実装しているわけではありません。(特に例外処理、組み込みメソッド等)おわりに自分の勉強のために作ったプロジェクトですが、誰かの参考になれば幸いです。

mruby/ruby: mruby VMをRubyで実装してみた

part.1の続きです。 コードを生成する必要なデータが取れるようになったので、コード生成部を書いていきます。最初に概形を示します。#[proc_macro]pub fn shiika_method_ref(input: TokenStream) -> TokenStream {    let _spec = parse_macro_input!(input as ShiikaMethodRef);    let mangled_name = "a";    let function_definition = "b";    let parameters = "c...

syn crateを使ってproc_macroを書く (part.2 生成編)

こんにちは。yharaです。私はShiikaというプログラミング言語を作っているのですが、その過程でこんなコードを書くことがありました。extern "C" {    #[allow(improper_ctypes)]    pub fn Meta_Array_new(receiver: *const u8) -> SkAry<SkObj>;}pub fn meta_array_new(receiver: *const u8) -> SkAry<SkObj> {    unsafe { Meta_Array_new(receiver) }...

syn crateを使ってproc_macroを書く (part.1 解析編)

こんばんは。yharaです。メリークリスマス！本記事は言語実装 Advent Calendar 2021最終日の記事です。昨日は@sisshiki1969さんのrurubyのガベージコレクタとアロケータでした。 Shiikaの2021年Shiikaは私が作っている静的型付け言語です。今年はenum、パターンマッチ、Maybe型といろいろ機能を足しました。来年はModuleと型推論をやる予定で、そこまでできると当初考えていた言語仕様が一通り揃います。いやー楽しみですね。はやくShiikaで実用的なプログラムを書きたい。 全てがオブジェクトShiikaはRubyの影響を強く受けて...

Shiikaの型システム - メタクラスとジェネリクス

本稿はRubyアドベントカレンダー2021-2の1日目の記事です。今年の3月に作ったsimple_twitterというgemの紹介をします。https://github.com/yhara/simple_twitter simple_twitter gemとはTwitter APIのクライアントです。twitter gemと比較して、Twitter API v1/v2に両対応している極めて薄いラッパーであるという特徴があります。 Twitter API v2TwitterのAPIには長らく使われてきたv1と、新しく作られたv2の2種類が存在します。v2はhome...