プログラミングメモ 一覧

ジェネリック: Java vs C#

Java 言語のジェネリックと C# 言語のジェネリックを、その機能や文法の違いを中心に比較する。

Coq Tips

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

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

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