Tech Tips

  1. 最近の記事
  2. ランキング一覧
  1. プログラミング
  2. 4833 view

[Shell][Bash]BashでTry Catch Finally

背景最近、業務でのプログラミングにて、シェルで書いた方が動くものが楽に書ける場合が多々ある。ただシェルだとエラーハンドリング周りが若干面倒なので、Tr…

  1. プログラミング
  2. 3903 view

Coqによる 証明駆動開発 超入門

証明駆動開発 とは証明駆動開発 とは証明によってプログラムが期待通りの性質を有しているかを確かめながら開発する手法のこと。ユニットテストの一部で使用可…

PAGE TOP