2019-05-11

福岡で行われたRubyKaigi 2019 福岡に参加した。

自分の発表について

今年は登壇者で、Ovtoの話をした。詳細はのちに上がるであろう動画を見てほしいが、現時点の資料としてはスライドのPDF版がある。プレゼンターノート付きなので概要は分かるかもしれない。

今回の発表の裏テーマとして「文章で伝えにくいOvtoの良さをライブコーディングで伝えたい」「初心者から上級者まで何かしら得るものがあるようにしたい」というのがあり、いずれも(個人的評価では)達成できたように思う。

• rk2019 ovto - Togetter

2019-05-06

近況です。

RubyKaigi

4月はRubyKaigiでOvtoの話をしました。無事終わって良かったです。

https://rubykaigi.org/2019/presentations/yhara.html#apr19

スライドは https://route477.net/files/yhara_ovto_1.0.0_ja.pdf にあります。動画もそのうち上がると思います。

2019-05-02

ＩＵＴ理論は、複数の数学の舞台を考えることによって、それまでの数学にはなかった、つまりそれまでの数学の常識を超えた、新しい柔軟性を実現しようとしていたのです。

『宇宙と宇宙をつなぐ数学　IUT理論の衝撃』を読みました。

本書は、望月新一教授が2012年に発表した「宇宙際タイヒミュラー理論(IUT理論)」を、一般向けに解説した書籍です。IUT理論といえば、ABC予想を解決したという主張で大きく話題になったものの、7年経った現在も成否について決着がついていないほど難解な代物で、この本を読んだだけで全貌が理解できるわけではもちろんないのですが、「どういうことをやろうとしているのか」について雰囲気やさわりだけでも理解したつもりになれる、楽しい本でした。著者の加藤文元先生は、本書で語られるようにIUT理論の構想時から望月教授と親交があり、理論を理解している数少ない数学者の一人で、そのような人に易しく解説してもらえるというのはとても贅沢な体験だと感じます。

数学というものは論理の塊なので、ある論文は正しいか正しくないかのどちらかに直ちに決まるような気がしていたのですが、IUT理論に関する議論が未だに続いているように、その中間が存在するというのはなんだか不思議な感じがします。IUT理論は「足し算と掛け算の関係を解きほぐす」という、数学の基礎に挑戦するスケールの大きな理論で、かつ独自性が高いため数学者に対しても「学習コスト」が高く、地道に理解者・協力者を増やしていく必要があるようです。このような一般書を出すというのもその作戦の一環となるのかもしれませんね。

• ABC予想って結局どうなったの？ちょっと整理してみた。 - NAVER まとめ

2019-04-07

『Baba Is You』の終盤ステージで面白半分に「LEVEL IS BABA」を試したら、"大変なこと"になってしまった人向けの記事です。

• Steam：Baba Is You

何が困るのか

この記事を読んでいるということは、まだ当該ステージをクリアしていないのに、そのステージに入る方法がなくなった、そうですよね？

大丈夫、ステージを再度プレイする方法はあります。

2019-03-31

近況です。

Ovto

RubyKaigi2019での登壇のため、スライドを作っています。

Ovtoとはみなさんにとって何なのか、React・Vue・Angularとの違いは…みたいなことをうんうん考えていたのですが、その方向の話はやめることにしました。VueもAngularも使ったことないし、無理にそういう話を入れても薄い内容になるだけでしょう。

代わりにOvtoの「背景」「設計」「実装」という3点で行こうと思います(いま決めた)。よろしくお願いします。

2019-02-28

近況です。

Ovto

公式サイトで発表がありましたが、RubyKaigi2019福岡で登壇します。Ovtoの話をします。

• https://rubykaigi.org/2019/speakers

Ovtoは私が作っている、RubyでSPAを作るためのフレームワークです。詳細については以下の記事をどうぞ。

2019-02-12

https://atcoder.jp/contests/abc068/tasks/arc079_b

公式解説とは少しだけ違うやり方をしたので解説します。

問題

数列に対するある「操作」が定義されています。この操作は停止条件があります。

整数Kが与えられるので、ちょうどK回の操作で停止するような数列を作ってくださいという問題です。

2019-02-08

pixiv FANBOXを始めました。

• yhara (Yutaka HARA)｜pixivFANBOX

始めた理由としては単に「やってみたかった」というのが大きく、どう使うのかあんまりまだ考えてないですが、当面は月報置き場にする予定です。

そういうわけで1月の月報は以下です。

• 2019年1月｜yhara (Yutaka HARA)｜pixivFANBOX

月報以外のコンテンツは引き続きこのブログでやっていきます。本年もよろしくお願いします。

(2019/05追記：気が済んだので4月分から元に戻しました。)

2019-01-31

近況です。

Ovto

Rubyist Magazine 0059号にOvtoの紹介記事を寄稿しました。

• RubyistのためのフロントエンドフレームワークOvto

Ovtoは私が作っているRubyでSPAを作るためのフレームワークです(詳細は上の記事を見てください)。OvtoについてはQiitaにも紹介記事を書いていますが、そっちよりも少し丁寧めに説明しています。

2019-01-05

2018年の振り返りを。

イベント

年始に自作キーボードの会をやった。これについてはまた別途記事を書くつもり。

6月にはRubyKaigi 2018 仙台に参加した。今年はTRICK審査員として登壇した。

7月に旅行でイタリア(ローマ)に行った。