Skip to content

Instantly share code, notes, and snippets.

View lotz84's full-sized avatar

Tatsuya Hirose lotz84

264 followers · 100 following
View GitHub Profile
@lotz84
lotz84 / Main.hs
Created October 28, 2018 12:56
二重振り子のシミュレーション
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ViewPatterns #-}
module Main where
import Data.Maybe
import Graphics.Gloss
import Numeric.Hamilton
import Numeric.LinearAlgebra.Static hiding ((<>))
import qualified Data.Vector.Sized as V
@lotz84
lotz84 / Main.hs
Created October 27, 2018 00:53
単振り子のシミュレーション
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ViewPatterns #-}
module Main where
import Data.Maybe
import Graphics.Gloss
import Numeric.Hamilton
import Numeric.LinearAlgebra.Static hiding ((<>))
import qualified Data.Vector.Sized as V
@lotz84
lotz84 / differentiable-programming.hs
Last active September 16, 2018 03:48
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeApplications #-}
import Data.NumInstances.Tuple
import GHC.TypeLits
import Numeric.Backprop
@lotz84
lotz84 / index.html
Created December 9, 2017 10:21
<!DOCTYPE html>
<html>
<head>
<title>Lots Token</title>
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0-beta.2/css/bootstrap.min.css" integrity="sha384-PsH8R72JQ3SOdhVi3uxftmaW6Vc51MKb0q5P2rRUpPvrszuE4W1povHYgTpBfshb" crossorigin="anonymous">
</head>
<body>
<div class="container">
@lotz84
lotz84 / 1.type-class.hs
Created December 4, 2017 15:35
{-# LANGUAGE OverloadedStrings #-}
import Prelude hiding (read)
import Data.ByteString (ByteString)
import qualified Data.ByteString.Char8 as BS
import Data.IORef
type Key = ByteString
type Value = ByteString
@lotz84
lotz84 / machine-learning-tutorials.md
Last active November 3, 2017 13:50

Web開発におけるコンピュータサイエンス - 機械学習編

機械学習について、Webサービスの開発で必要とされる知識を中心に解説した資料。はてなサマーインターンの講義資料として作成されたもの。

Kerasで学ぶAutoencoder

https://elix-tech.github.io/ja/2016/07/17/autoencoder.html

@lotz84
lotz84 / FromJSON.hs
Last active August 20, 2017 07:19
FromJSON, ToJSON instances for Bookkeeper's extensible record.
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Bookkeeper.FromJSON where
import Bookkeeper.Internal (Book'(..))
@lotz84
lotz84 / gist:9637971e69d8c428601546a0298a5071
Last active August 11, 2017 16:00
<!DOCTYPE html>
<html>
<head>
<title>test</title>
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/sweetalert/1.1.3/sweetalert.min.css" />
<script src="https://cdnjs.cloudflare.com/ajax/libs/sweetalert/1.1.3/sweetalert.min.js"></script>
</head>
<body>
<h1> Test </h1>
<script>
@lotz84
lotz84 / gist:fa26a4e51debd4797d7e0cf6ec0bb6dc
Created June 25, 2017 05:47
Ethereum上でのICOを実装するまでの道筋

環境設定

geth

Ethereum ブロックチェーンに接続するためのミドルウェア

$ # geth のインストール
$ brew install ethereum
@lotz84
lotz84 / dijkstra.hs
Last active June 2, 2017 12:48
import Data.List
import Control.Monad.State
type Weight = Int
type Vertex = Char
newtype WEdge = WEdge (Vertex, Vertex, Weight)
head' :: WEdge -> Vertex
head' (WEdge (x, _, _)) = x