今回、yoshisaur.netでターミナル風のブログサイトを作りました。 元々、M4TT72という方がMITライセンスの元でターミナル風のサイトを作っていたので、改良するという形で使わせていただいています。 元々はブログポスト用に作られていなかったので、マーク…

画像はCC BY 2.0 DEEDライセンスのもと使用しています。*1 1. はじめに 琉球大学知能情報アドベントカレンダー Advent Calendar 2023の12月5日の記事です。 12月1日の個人的に興味があるRustとWasmについてでバイナリを読む作業があったのですが、思いの外楽…

どうも、ヨシザウルスです。光栄ながら琉球大学知能情報アドベントカレンダーのトップバッターを務めさせていただきます。 1. はじめに この記事は、私が個人的に興味を持っているRustとWasmについて説明します。 間違いや訂正が必要だと感じた箇所があれば…

人生の可能性は無限大 夢は持つだけ持ったほうがいい。 夢というと遠そうだし叶えられなかった場合に悲しいので「実績」という表現で達成したいことを並べる。 実績名: 「刃渡り2億センチ」 日本列島*1一周のことです。 日本人として生まれたならやりたいよ…

解いて 1.xはサービスで出します

TL;DR ハッカーズチャンプルー2023にレギュラー枠(25分)で登壇しました。自作DBについて話しました。沖縄で関わったエンジニアに自分の成長を見せることができて大変よかったです。 自作DB: github.com 発表スライド 発表スライドを作る際のマインドマップ …

gg 僕の青春を支えてくれたテキストエディタであるVimに感謝を込めたブログです。Vimだけではなくその他ツールの紹介もしています。Vimの操作性、Vimがもたらした影響などを機能とともに紹介できればと思います。 Vimを使おう Vimはキーボード操作に徹底的に…

最強の本一式 揃えたぞー!! アフィリンクとかないので純粋に揃えたことをアピールしたい。書評することになる本の予告です。他にもおすすめがあればリコメンド待ってます! 結構それぞれ高いので、学生なら大学の図書館に取り寄せてもらうか、社会人なら気前…

はてなブログのカスタムCSSで遊びませう はてなブログの装いを編み出すことは、諸兄もご承知のとおりでございましょう。しかしながら、カスタムCSSを自在にいじくり回すことができた経験をお持ちの方は、そう多くはあるまいかと申し上げたく存じます。 こち…

前置き ブログにできる程度の失敗です、記憶がないパートは人から聞いた話です。そのとき一緒にいた人は大笑いしてくれたみたい、良かった...。この程度に済んだのは、すべては介抱組のおかげです。 あらすじ 4/9にy20、y21で10人規模の飲み会をしました。B1…

1. この記事について 著者、Yoshisaurが参加したYAPC::Kyoto 2023に関するブログです。 「ブログを書くまでがYAPC」 ということで、自分がYAPCで体験したことを皆さん共有できればと思います。 2. ブログの著者、Yoshisaurについて 沖縄の琉球大学で情報工学…

最終的な成績 Bでした 課題に関するファイル 課題に関するファイルはGitHubに置かれている 課題の提出方法に関する注意点 この講義ページにて、 この授業中の問題は、 Subject: Report on Compiler consturction Lecture Exercise 1.1 などというSubjectのメ…

最終的な成績 Aでした 課題に関するファイル これ 1.1 論文管理ソフト この問題を解く Agda に関する論文を探して Zoteroに登録する 登録したものの Bibtex を export して、それをレポートせよ 論文に対する短いコメントをつけること Zoteroをダウンロード…