タグ

ブックマーク / programgenjin.hatenablog.com (1)

  • 「プログラミング言語の基礎概念」のためのEmacsメジャーモードを書いた - プログラミング原人の進化論

    「プログラミング言語の基礎概念」の演習システムのためのメジャーモードを作ってみました。 ソースコードと、実際に利用するまでの流れを書いておきます。 環境 GNU Emacs 26.1 動機 「プログラミング言語の基礎概念」(五十嵐淳著)という、とても良いがあります。何が良いかというと、計算理論の初学者にとってわかりやすく書かれている(まだ最初の方しか読んでないが)ことと、このに対応するオンライン演習システムが利用できることです。 演習システムに回答する際に導出木を書く必要があるのですが、当然そのまま入力することができません。そこで、導出木を適切な形式(補助資料によればASCII表記)に直してあげる必要があります。 Emacsで書こうにも、対応するメジャーモードが見つかりません。しかし、ペアノ自然数は人間が入力するには厳しいものがあります。 じゃあ、自分でメジャーモード作ろう。 メジャー

    「プログラミング言語の基礎概念」のためのEmacsメジャーモードを書いた - プログラミング原人の進化論
    dowhile
    dowhile 2021/12/04
  • 1