読者です 読者をやめる 読者になる 読者になる

知見

Linear is Uniqueness ?

幾つかの言語では線形型システム(Linear type system)を採用することによって、線形型を持つオブジェクトを正確に一度だけ使用するということを型システム上で検査している。 それらの型情報は、メモリ管理、ファイルIOなどの資源に対するアクセスを制限す…

References will be Garbage

参照カウント方式のメモリ管理機構ではメモリ解放のプロセスを分散できるために、他のメモリ管理と比べて目に見える停止時間が少ない。 ただ、純粋な参照カウント方式では全てのオブジェクトの状態を管理することは難しくて、例えば循環参照などの問題が発生…

Ruby の クラス, クラスメソッド, extend, include, ClassMethodsまとめ

リンク集です。一方的に掲載してすみません。この辺の内容は言葉遊びにしか聞こえなくてRubyに遊ばれている気がする。Ruby のクラスメソッド定義まとめ - Qiita Ruby のクラスメソッド定義まとめ - Qiita結局、Rubyの特異メソッドって何なの? - (゚∀゚)o彡 sa…

個人的 git メモ

たまに使うんだけど、忘れがちなコマンドたち。 見つけるたびに逐一追加していこうと思う。 commitのコメントミスった $ git commit --amend 実行でデフォルトのエディタが開いてコメント修正 ログの差分表示 $ git log -p diffがそれぞれ表示 変更を消さな…

TSP×最近追加法

注記 この記事は2016年7月に更新されてます。過去の記事の内容にプラスしてきちんとしたものにしました。 過去の内容には誤りがありました。すみません。 最近追加法 別称で最近隣接法とか存在するけれど、自分は最近隣接法とは区別している。最近隣接法は経…