→インタープリタ
タイトル通り、O'Reilly Japanから出ているGo言語でつくるインタプリタを読み切りました。 www.oreilly.co.jp どんな本なの? タイトル通り と書いてしまえば終わりなのですが、もうちょっと詳しく説明すると Go言語を使って本に出てくるMonkey言語のインタプリタを実装してみよう！ という内容です。 本の流れとしては とりあえず、Monkey言語のコードをトークンに変換してみよう トークンをASTにしてみよう ASTを評価してプログラムとして動くようにしよう 組み込み関数とかデータ型を追加しよう という、プログラミング言語のインタプリタが実際に処理を行う順で書かれてい…
PoPLの論文(Intrinsically-Typed Definitional Interpreters for Imperative Languages)についてのまとめ 初めての人は最初の記事をまず読んで欲しい 前回のおはなし ソースコードはこれ github.com 参考: - 束縛変数 --筑波大学 スコープグラフ(scope graph)は静的束縛(lexical binding)と 動的束縛(non-lexical binding)の両方をサポートする静的名前解決の統一的アプローチ(uniform approach)です。 今回は、スコープグラフとヒープフレームをIntrinsi…
Qiita の方に書きました。 qiita.com
PoPLの論文(Intrinsically-Typed Definitional Interpreters for Imperative Languages)についての輪講で、発表の際に使用したスライドの供養(ブログ用に多少修正は加えている) 初めての人は前回のおはなしをまず読んで欲しい ソースコードはこれ github.com 正直この章はめちゃくちゃしんどかったが、がんばって噛み砕いで説明した。 実際この論文は本当によく書かれていて、多少前提知識がなくても気合いがあれば調べながら大筋は理解できるようになっている。 参考: - What is Agda? -- Agda docs 依存型につ…
PoPLの論文(Intrinsically-Typed Definitional Interpreters for Imperative Languages)についての輪講で、発表の際に使用したスライドの供養(ブログ用に多少修正は加えている) ソースコードはこれ github.com Agdaを知らなくても、Haskellの入門程度の知識と、コードを読む力と気合いがあればわかります。 この手の話に興味がある人は面白く感じることでしょう。 つぎのおはなし 参考: - What is Agda? -- Agda docs 型付きラムダ計算 -- 筑波大学 依存型について -- hatenablog…
O'Reilly Japan - Go言語でつくるインタプリタ を2章までTypeScriptで実装しました。この本を手にした動機は、 Goの文法を学習したついでに低レイヤーにも手を出したかった 分量的に手が出やすそうだった TypeScriptで実装を始めた動機は、 2章のPratt構文解析あたりから、写経ではなく理解してないコピペで進んでいた デバッグしてもポインタのせいでよく分からない 「Go言語でつくるインタプリタ」をRustで実装しました。 - Sansan Builders Blog の影響で、このままコピペで進めていくよりも、自分の慣れている言語で実装しなおした方が理解が進む気が…
（もともと「Yahoo!知恵袋」の「知恵ノート」だったものを転載しています）（最終更新日時:2017/4/19）投稿日：2014/1/21 はじめに 優に数百を数える、多種多様なプログラミング言語……本ノートでは、それらのうち、特に「スクリプト言語」と呼ばれるものを、およそ年代順に概観します。 コンパイラ言語や、他の代表的なインタプリタ言語については、知恵ノート「さまざまなプログラミング言語（その１）」 https://khurata.hatenablog.com/entry/2019/04/04/073850 をご覧下さい。 スクリプト言語とは 各スクリプト言語について概観する前に、そもそも…
以前書いた「ラムダ計算基礎文法最速マスター」(以下「最速マスター」)は, 予想以上に多くの人に興味を持ってもらえたようですが, 同時に難しくてわからなかったという人も多かったようです. 反響から察するに, 構文を見慣れていない(と錯覚してしまう)ことが理解の妨げになっていたように思います.ラムダ計算の構文は, 実際には全く特殊なものではありません. このことがよくわかるように, 「最速マスター」のラムダ計算の簡約の例をすべてJavaScriptの構文で書いてみました.......という内容になるはずでしたが, 気がついたらラムダ計算のインタプリタをJavaScriptで実装していました! 実際…
完全に出遅れたが今年も3ヶ月おきにふりかえりをしていこうと思う。 やったこと 1月：「Go 言語でつくるインタプリタ入門」を途中まで Rust で頑張るものの挫折した Go言語でつくるインタプリタ作者:Thorsten Ball発売日: 2018/06/16メディア: 単行本（ソフトカバー） Rust の勉強のため & インタプリタについて知りたいというモチベーションで昨年12月ぐらいから取り組んでたものの、途中で飽きてしまい、こんなモチベーションで続けるぐらいなら気になってる Let's build a browser engine やった方がいいなーと思ってやめた。 たぶん、本格的に面白く…
ペンギン村から、おはこんばんちは。メタルです。 数少ない←読者の皆さん！ごめんなさい！ １年間も更新をサボってしまいました！！笑 言い訳をさせて頂くと、ド◯えもんに魔界大戦争に駆り出され、魔王デ◯オンを倒す為に銀色のダーツを探す旅に出ていました！！！（大嘘） デ◯オンと死闘を繰り広げながら、Oracle認定資格である『Java Gold』の勉強も頑張っていたのですが！！結果はというと・・・。 無事合格出来ました！！！ いや〜、大変だった！！難しくてハゲ上がりそうだった！！（笑） 勉強方法の内容を含めた「メタルの合格体験記」みたいな記事も、いつか←書きたいな〜って思ってるので・・・。 全国のみん…
picoCTF 2021のWriteupです。 Satoooonさんとd4wnin9さんと共にPui-Pui-CTFerというチームで参加し、日本1位、世界11位という結果を残すことができました。 reversing問を多く解けたので非常に嬉しい。 Cryptography Mod 26 Mind your Ps and Qs Easy Peasy New Caesar Mini RSA Dachshund Attacks No Padding, No Problem It's Not My Fault 1 Play Nice Double DES Compress and Attack Sc…
とりあえずこの1ヶ月くらいはメモ程度ながら技術ブログを再開できたのでエラい。 [Podcast] [つくりおき] [各種タスク] [読書] [ソフトウェア開発] [囲碁] [まとめ]
今日は主に標準添付ライブラリ optparse のドキュメントの配置の修正などがありました。 [f60fba03bf] Zachary Scott 2021-04-10 23:37:39 UTC README.md のビルド方法のところで ext/Setup の編集については optional であることを強調しています。拡張ライブラリを静的にインタプリタにリンクする場合なので基本的にはやらないですね。 [97abd0f6af] git 2021-04-10 23:40:42 UTC version.h の日付更新 [c795f30ef0] Burdette Lamar 2021-04-09 …
放送大学情報コースの科目、情報学のとびらで学んだことのまとめ。 基本情報試験の範囲と近い。 教科書がわかりやすくてよかった。 授業はこれから見る予定。 １、情報化する社会を生きる ２、情報デジタル表現とマルチメディア デジタル情報処理の流れ 符号化とは アナログ情報は劣化しやすい デジタル情報は劣化しにくい 誤り検出符号 誤り訂正符号 疑問：アナログとデジタルの境界とは？ ３、コンピュータの構成要素とその機能 PCの構成要素 コンピュータにおける計算の原理 2の補数 ４、インターネットの歴史と仕組み 回線接続からパケット交換へ インターネットのパケット配送方式 ルータの働き 経路表（ルーティン…
今週後半はほぼ全部ガイダンスでした。4年になると授業数も少なかったり、TOEICがあって短縮授業だったのでそもそも書くことがないんですが、無理やり3日まとめて書きます。来週からが本番だね Academic English 英語の新聞記事を教材に読解をしていきます。ガイダンスのみ。英語の長文に触れる機会は日常だとなかなかないので期待。 応用数学Ⅰ 微分方程式をやります。以上。 言語処理 (たぶん)コンパイラの授業。今回はUNIX系の開発環境がいるから演習室PCにログインするなりWSL使うなりしろとのことだった。普段はUbuntu使ってるのでここは問題なし。 授業内容は復習だったが、一応以下まとめ…
Python版 コンピュータ科学とプログラミング入門 コンピュータとアルゴリズムの基礎 「Python版 コンピュータ科学とプログラミング入門」内容紹介 「Python版 コンピュータ科学とプログラミング入門」目次 「Python版 コンピュータ科学とプログラミング入門」Amazonでの購入はこちら 「Python版 コンピュータ科学とプログラミング入門」楽天市場での購入はこちら※電子書籍版です Python版 コンピュータ科学とプログラミング入門 コンピュータとアルゴリズムの基礎 インプレスグループで理工学分野の専門書出版事業を手掛ける近代科学社は、2021年2月26日に、近代科学社が著者と…
正確にはPython 3.9で書いたコードをPython 2.7に変更しました。 そのとき感じたことを記録します。 はじまり 作業効率化のために簡単なツールをPythonで作ってみました。 自分の環境では問題なく動作したのですが実環境にうつしたらエラーが発生。 pathlibがないって？ 恐る恐るPythonのバージョンを確認したら、、、なんと2.7でした。 Python 2.7へ書き換え 諸事情により実環境のPythonのアップデートは不可でした。 もう諦めようかとも思いましたが時間もあったのでコードを2.7へ書き換えることにしました。 まずPyCharmでインタプリタをPython 2.7…
Pythonでインタプリタを作る コンピュータ言語を設計・実装してインタプリタの動作を理解しよう 「Pythonでインタプリタを作る コンピュータ言語を設計・実装してインタプリタの動作を理解しよう」発行主旨・内容紹介 「Pythonでインタプリタを作る コンピュータ言語を設計・実装してインタプリタの動作を理解しよう」目次 「Pythonでインタプリタを作る コンピュータ言語を設計・実装してインタプリタの動作を理解しよう」Amazonでの購入はこちら 「Pythonでインタプリタを作る コンピュータ言語を設計・実装してインタプリタの動作を理解しよう」楽天市場での購入はこちら※電子書籍版です Py…
ブログの負債を返済せねば……。 [Podcast] [つくりおき] [各種タスク] [読書] [ソフトウェア開発] [囲碁] [まとめ]
ブログ管理者 (pkeisrebpys) について紹介します。 紹介するといってもどんなことやってきたのかを書いただけです。 最初にエディタと言語が来るあたり， 電子工作といいながら，ハードよりソフトやっているのがわかります。 そして面倒くさがりでもあります。 とりあえずその場にあるものでなんとかならないかなあとか， 面倒なのでやめましたという事例が紹介する以外にもよくあります。 使用エディタ 使用言語 基板実装 電気工事 無効電力と高調波とノイズ 使用エディタ 重度の Vim 依存症です。 大学半ばまでは Emacs を愛用しておりました。 プログラミングもコンパイルもプログラム実行もすべて…
前の記事 Pythonパッケージは、「原則pipによりvenv配下にインストールするのが良い」という意見を書きました。 endy-tech.hatenablog.jp お伝えしたいこと Pythonのvenvがどのような仕組みで動いているか気になったので、少し詳しく調べてみました。 ソースコードは読めないので、いつものようにドキュメント上の仕様を追いかけつつ、実機で検証してみました。 今回は、「興味のある方向け」のマニアックな記事です。 あまり興味のない方は、サマリのみご覧ください。 前提知識として、venvの基本的な使い方の理解が必要です。 前の記事 お伝えしたいこと サマリ PATHの変更…
NetBoxの機能でまだリリースはされていないけどfeatureブランチには実装済みの新しい機能を試してみたい場合、feature版のコンテナイメージは用意されてないためOS上に素で構築する必要があるが、それよりはfeature版コンテナイメージを手元でビルドした方が楽なのでは？と思って試してみた。 なお、試してみるとコンテナ版のビルドスクリプトはfeature版には対応していないため、実装の差異がある場合は手直しが必要*1。 以下は時期バージョンの2.11のリリースノート。 github.com 環境 準備 イメージのbuild デプロイ 実行エラー NetBox Dockerのコードを本体…
オブジェクト指向でなぜつくるのか 第2版の読書メモです。 1. オブジェクト指向はソフトウエア開発を楽にする技術 2. オブジェクト指向と現実世界は似て非なるもの 3. OOP を理解する近道はプログラミング言語の歴史にあり コラム：プログラミング昔話 4. OOP は無駄を省いて整理整頓するプログラミング技術 5. メモリの仕組みの理解はプログラマのたしなみ 6. OOP がもたらしたソフトウエアとアイディアの再利用 7. 汎用の整理術に化けたオブジェクト指向 コラム：オブジェクトの向こう側 8. UML は形のないソフトウエアを見る道具 9. 現実世界とソフトウエアのギャップを埋めるモデリ…
www.aoky.net
labs.cybozu.co.jp
drumato.hatenablog.com
www.publickey1.jp
blog.bokuweb.me
techlife.cookpad.com
codezine.jp
hogelog.hatenablog.com
blog.bugyo.tk
