日記（日記とは言っていない）

https://zenn.dev/23prime に移行しました。

Ubuntu から筑波大学へ VPN (L2TP/IPsec) を張ろう！

VPN Network Ubuntu

備忘録的なものが溜まっていたので，いくつかブログへ放出します．

今回は大学への VPN 接続について．

学内専用の Web ページや使えるライセンスを自宅から使うため，設定しました．

続きを読む

Haskell で有限体を実装する

Math Haskell

強力な型システムにより， Haskell ではかなり抽象的な概念を型クラスとして実装することができます． 例えば， 代数学における「体」もその例外ではありません． 今回は体を型クラスに， そのインスタンスとして有限体を実装してみました．

続きを読む

Intero for Emacs

Intero for Emacs について備忘録．

とは

Haskell 用の Emacs 拡張です． Flycheck や対話環境の提供など， 便利です．
公式 HP はこれ． https://commercialhaskell.github.io/intero/

インストールもこれに従えばすぐにできます．

続きを読む

GRUB2 のブートメニューに Ubuntu が表示されなくなった時のアレ

PC

ある朝目覚めると GRUB2 のブートメニューに Ubuntu が表示されなくなっていました．

あれ？と思ったのですが，そういえば夢でカーネルのアップグレードをしたような…

※詳しくないので，やったことのメモだけです．

続きを読む

北方園のお弁当

食

中華料理 北方園

天久保2丁目にお店を構え，筑波大生なら知らない人はいない（と思う）中華料理店，北方園．
独特のメニューも多く，またリーズナブルにお腹いっぱい食べさせてくれるため，大学生にはありがたい存在です．

続きを読む

本日はお日柄もよく

見ての通りブログをはじめました．
何ってこともないんですが，楽器や音楽のこととか，大学のこととか，ラーメンのこととか，書いていくかもしれません（書かないかもしれません）．

続きを読む