プログラミングメモ 一覧

最近のプログラミング関係の記事は Qiita をご覧ください。

プログラミング言語所感

• D 言語所感
• Go 言語所感

型システム関係の資料

• ジェネリック: Java vs C# - Java 言語のジェネリックと C# 言語のジェネリックを、その機能や文法の違いを中心に比較する。
• 検査例外と場合分けと多態性の話

Coq クィックリファレンス

定理証明支援系 Coq で証明を行う際のヒント・基本的な事例集

Bourne 系コマンドラインシェル関係の資料

• バックグラウンドで起動したプロセスの戻り値を取得するには
• パラメータ展開の種類一覧
• バイナリサイズの比較
• 実行速度の比較その 1、その 2
• マニアックな比較 1: 起動したプログラムのプロセスツリーのできかた、および * が展開される条件の比較
• マニアックな比較 2: プロセス置換の実行中に Ctrl-Z を押すとどうなるか
• マニアックな比較 3: プロセス置換の実行中に Ctrl-Z を押すとどうなるか (続き)
• マニアックな比較 4: ${#-} の解釈の仕方