RubyKaigi 2019 福岡に参加した
2019-05-11
Tech2018年4月 (RubyKaigi2019福岡)
2019-05-06
Diary近況です。
RubyKaigi
4月はRubyKaigiでOvtoの話をしました。無事終わって良かったです。
https://rubykaigi.org/2019/presentations/yhara.html#apr19
スライドは https://route477.net/files/yhara_ovto_1.0.0_ja.pdf にあります。動画もそのうち上がると思います。
本：『宇宙と宇宙をつなぐ数学 IUT理論の衝撃』
2019-05-02
BookＩＵＴ理論は、複数の数学の舞台を考えることによって、それまでの数学にはなかった、つまりそれまでの数学の常識を超えた、新しい柔軟性を実現しようとしていたのです。
『宇宙と宇宙をつなぐ数学 IUT理論の衝撃』を読みました。
本書は、望月新一教授が2012年に発表した「宇宙際タイヒミュラー理論(IUT理論)」を、一般向けに解説した書籍です。IUT理論といえば、ABC予想を解決したという主張で大きく話題になったものの、7年経った現在も成否について決着がついていないほど難解な代物で、この本を読んだだけで全貌が理解できるわけではもちろんないのですが、「どういうことをやろうとしているのか」について雰囲気やさわりだけでも理解したつもりになれる、楽しい本でした。著者の加藤文元先生は、本書で語られるようにIUT理論の構想時から望月教授と親交があり、理論を理解している数少ない数学者の一人で、そのような人に易しく解説してもらえるというのはとても贅沢な体験だと感じます。
数学というものは論理の塊なので、ある論文は正しいか正しくないかのどちらかに直ちに決まるような気がしていたのですが、IUT理論に関する議論が未だに続いているように、その中間が存在するというのはなんだか不思議な感じがします。IUT理論は「足し算と掛け算の関係を解きほぐす」という、数学の基礎に挑戦するスケールの大きな理論で、かつ独自性が高いため数学者に対しても「学習コスト」が高く、地道に理解者・協力者を増やしていく必要があるようです。このような一般書を出すというのもその作戦の一環となるのかもしれませんね。
"LEVEL IS BABA"を試したら大変なことになった人へ
2019-04-07
Game『Baba Is You』の終盤ステージで面白半分に「LEVEL IS BABA」を試したら、"大変なこと"になってしまった人向けの記事です。
何が困るのか
この記事を読んでいるということは、まだ当該ステージをクリアしていないのに、そのステージに入る方法がなくなった、そうですよね？
大丈夫、ステージを再度プレイする方法はあります。
ABC068-D Decrease (Contestant ver.)
2019-02-12
Techhttps://atcoder.jp/contests/abc068/tasks/arc079_b
公式解説とは少しだけ違うやり方をしたので解説します。
問題
数列に対するある「操作」が定義されています。この操作は停止条件があります。
整数Kが与えられるので、ちょうどK回の操作で停止するような数列を作ってくださいという問題です。
pixivFANBOXを始めたので、2019年の月報はそちらに書きます
2019-02-08
Miscpixiv FANBOXを始めました。
始めた理由としては単に「やってみたかった」というのが大きく、どう使うのかあんまりまだ考えてないですが、当面は月報置き場にする予定です。
そういうわけで1月の月報は以下です。
月報以外のコンテンツは引き続きこのブログでやっていきます。本年もよろしくお願いします。
(2019/05追記：気が済んだので4月分から元に戻しました。)
2018年
2019-01-05
Diary2018年の振り返りを。
イベント
年始に自作キーボードの会をやった。これについてはまた別途記事を書くつもり。
6月にはRubyKaigi 2018 仙台に参加した。今年はTRICK審査員として登壇した。
7月に旅行でイタリア(ローマ)に行った。
2018年12月
2019-01-05
Diary2018年最後の近況です。
アドカレ
12月はアドベントカレンダーの季節ということで、今年は主にOpalアドカレに記事を書いていた。こういうのとか。
いらすとやtaleシリーズ、完結しました / DXOpalでUndertaleっぽい画面を作る(終) https://t.co/GHZqf1lUK1 デモはhttps://t.co/c6I3RANq43 pic.twitter.com/NgctirbfGM
— yhara (Yutaka HARA) (@yhara) 2018年12月23日
それ以外の記事は以下。
sedやawkが覚えられないRubyistのための「rbコマンド」
2018-12-21
Techこの記事はRuby Advent Calendar 2018の21日目の記事です。
今年のある日、rubyweeklyで流れてきたのがこれ。どうやらsedやawkみたいなワンラインプログラムが、Rubyで簡単にできるようになるみたいだが…？
altjsにおけるstdinの実装：BiwaSchemeのreadの例
2018-12-18
Techこの記事は言語実装 Advent Calendar 2018の18日目の記事です。昨日の記事はC(のサブセット)コンパイラを書く上でハマった点：配列編 - hsjoihs’s diaryでした。
最近、BiwaScheme公式サイトのREPLでread関数が使えるようになったので、その解説をします。(read)は標準入力からS式を同期的に読み込むのですが、JavaScriptでキー入力を処理しようとすると必ず非同期処理になるので、readのようなものを実装するには工夫が必要です。
本稿ではaltjs1上に同期的なsleepやreadを実装する方法について解説します。
altjsとsleep
-
死語になりかけてる気もしますが、alternative javascript(代替JavaScript)の略で、本稿ではJavaScriptで実装された言語処理系のことを指します(コンパイラかインタプリタかは問わない)。 ↩