Tech Tips


  1. 最近の記事
  2. ランキング一覧
  1. 要素技術
  2. 2221 view

[Haskell]反転画像の生成

やりたいこと前回まででPGM形式の画像の出力、読み込みができるようになったから、今度は画像処理をやってみる。今回は一番簡単な、反転画像を作る。…

  1. 機械学習・AI
  2. 670 view

[CoffeeScript]多次元尺度構成法

やりたいこと多次元尺度構成法とは多次元のデータを少ない次元で表現する方法。データ間の距離の関係だけを見て決める。この多次元尺度構成法のデモ…

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

[Shell][Bash]BashでTry Catch Finally

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

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

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

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

PAGE TOP