Skip to content

Instantly share code, notes, and snippets.

@huinme
huinme / Chap9.md
Last active September 13, 2015 10:00
Understanding Computation : Chap 9

9章 おもちゃの国のプログラミング

  • プログラム全体が本来やってほしいことをやってくれているかどうかチェックしたい.
    • e.g) 特定の結果を返すこと, 計算リソースへの副作用, クラッシュなどの明らかなバグを含んでいないことなど

ライスの定理によりプログラムの振る舞いについて必ずしも正しい答えは得られない.

  • プログラムを実行して確認できれば良いが、実行時まで不明な情報がある場合は難しい
    • e.g. ユーザーからの対話的な入力, 引数としてわたされるファイル, ネットワークから読み込まれるデータなど
  • ダミーデータですべての組み合わせ(入力)について確認sうるのは非現実的.
@huinme
huinme / circle.yml
Last active October 22, 2015 12:44
CircleCI Android Configuration
machine:
java:
version: openjdk7
environment:
ANDROID_HOME: /home/ubuntu/android
JAVA_OPTS: "-Xmx2048m -XX:MaxPermSize=1024m"
dependencies:
cache_directories:
- ~/.android
@huinme
huinme / IDViewController.m
Created December 10, 2014 08:34
UIImagePickerControllerから画像読み込んで顔認識するサンプル
//
// IDViewController.m
// ImageDetector
//
// Created by Koichi Sakata on 12/9/14.
// Copyright (c) 2014 genesix, Inc. All rights reserved.
//
#import "IDViewController.h"
@interface SBAViewController ()
@property (nonatomic, assign, readwrite) BOOL shouldStatusBarHidden;
@end
@implementation SBAViewController
/**
*
@huinme
huinme / gist:8804323
Created February 4, 2014 14:13
StatusBarをアニメーションしながら隠すサンプル
//
// MGViewController.m
// MovingGraduation
//
// Created by huin on 2014/02/04.
// Copyright (c) 2014年 huin.me. All rights reserved.
//
#import "MGViewController.h"
@huinme
huinme / file0.txt
Created December 21, 2013 08:43
Cocoapodsをより使いこなすためのTips ref: http://qiita.com/huin/items/54b5a1778cec0bf44ad0
$ cd /path/to/MyLibrary
$ pod spec create MyLibrary

Cocoa向け コーディングガイドライン

免責
日本語ドキュメントをベースに記載しています、内容の誤りについては責任を負いません.
利用者各自の責任においてご利用下さい.

コンテンツ

@huinme
huinme / gist:6050555
Created July 22, 2013 00:29
check if your app accesses UDID(uniqueIdentifier).
strings - -a -arch armv7 "Payload/YourApp.app/ YourApp" | grep uniqueIdentifier
@huinme
huinme / gist:5971345
Created July 11, 2013 00:03
iOS/Mac でUDIDにアクセスしていないかを確認する方法.
#
# if you are going to check iOS app,
# rename from "YourApp.ipa" to "YourApp.zip" and unzip it.
#
strings - -a -arch armv7 "Payload/YourApp.app/YourApp" | grep uniqueIdentifier