Skip to content

Instantly share code, notes, and snippets.

View komuro-hiraku's full-sized avatar
sapporo

komuro.hiraku komuro-hiraku

sapporo
  • Sapporo, Hokkaido
View GitHub Profile
@komuro-hiraku
komuro-hiraku / BlogSample.tla
Created June 30, 2019 14:20
Developers.IO Sample
----------------------------- MODULE BlogSample -----------------------------
EXTENDS TLC, Integers
VARIABLES f
Init == f = [prof |-> "", num |-> 0]
F == [prof : {"Nine", "Inch", "Nails"}, num: 0..5]
FCreate(p, n) == /\ f.prof = ""
@komuro-hiraku
komuro-hiraku / create_ami_images.sh
Created June 13, 2017 08:34
Delete AMI and EBS Snapshot. CSV Format (`AMI_ID`, `SnapshotId`)
# create your ami list. Sorted by CreationDate ASC
aws ec2 describe-images --profile <Your Profile> --owners "AMI Owner Id" | jq -r '.Images[] | {imageId: .ImageId, snapshotId: .BlockDeviceMappings[].Ebs.SnapshotId, creationDate: .CreationDate} | [.imageId, .snapshotId, .creationDate] | @csv' | sort -t, -k3
@komuro-hiraku
komuro-hiraku / Build.sbt
Created September 12, 2014 12:32
正常に解決できるRedisプラグインの設定
name := """Play2MemcachedSample"""
version := "1.0-SNAPSHOT"
lazy val root = (project in file(".")).enablePlugins(PlayJava)
scalaVersion := "2.11.1"
// required to resolve `spymemcached`, the plugin's dependency.
//resolvers += "Spy Repository" at "http://files.couchbase.com/maven2"
@komuro-hiraku
komuro-hiraku / gist:bf04b0a92f6b6c28258a
Last active August 29, 2015 14:04
moment-timezone.js for Parse.com
// snip
/*global define*/
if (typeof define === 'function' && define.amd) {
define(['moment'], factory); // AMD
} else if (typeof exports === 'object') {
// module.exports = factory(require('moment')); // Node
module.exports = factory(require('cloud/moment-with-langs.js')); // modify for Parse.com
} else {
factory(root.moment); // Browser
}
@komuro-hiraku
komuro-hiraku / SensorDetector.java
Created September 13, 2012 01:22
SensorDetector
package jp.classmethod.colorapp.test.gradientsensor.util;
import java.util.List;
import android.content.Context;
import android.hardware.Sensor;
import android.hardware.SensorEventListener;
import android.hardware.SensorManager;
import android.util.Log;
@komuro-hiraku
komuro-hiraku / gist:3711201
Created September 13, 2012 01:22
Rajawali Tutorial
Tutorialを参照するときの注意
http://www.rozengain.com/blog/2011/08/24/rajawali-tutorial-1-basic-setup-a-sphere/
このままやるとエラーでUnsatisfiedLinkErrorでこけます。
1. RajawaliをDL
https://github.com/MasDennis/Rajawali
2.compiled libraryを利用するときは、現在Nativeのライブラリが足りないので、Sampleから引っ張ってくる
import java.nio.ByteBuffer;
import java.nio.ByteOrder;
import java.nio.FloatBuffer;
import java.util.Random;
import javax.microedition.khronos.egl.EGLConfig;
import javax.microedition.khronos.opengles.GL10;
import jp.classmethod.komuro.openglsurfaceview.R;
import android.content.Context;