Kawana Kiyoshi kivantium

## lecture2.v
(* https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2017_AW/coq2.pdf *)

Section Coq2.
Variables P Q R : Prop.
Theorem imp_trans : (P -> Q) -> (Q -> R) -> P -> R.
Proof.
intros pq qr p.
apply qr; apply pq; assumption.
Qed.

## adversarial.py
import copy
import i2v
import numpy as np
from PIL import Image
from skimage.transform import resize

image_size = 224
channel_size = 3
noise_size = 56

## arxiv_expander_slack.py
import json
import re
import time

import arxiv
from slackclient import SlackClient


slack_token = "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"
sc = SlackClient(slack_token)

## drawContourExample.py
import cv2

image = cv2.imread("test.png")
imgray = cv2.cvtColor(image, cv2.COLOR_BGR2GRAY)
ret, thresh = cv2.threshold(imgray, 0, 255, cv2.THRESH_BINARY+cv2.THRESH_OTSU)
image2, contours, hierarchy = cv2.findContours(thresh,cv2.RETR_TREE,cv2.CHAIN_APPROX_SIMPLE)
result = cv2.drawContours(image, contours, -1, (0,255,0), 5)
cv2.imwrite("result.png", result)

## 解析ログ.ipynb

      
              2 files
            
          
              0 forks
            
          
              0 comments
            
          
              5 stars
            
          
                kivantium
                / 解析ログ.ipynb
            
            
              Last active
              December 30, 2017 05:23
            
              
                大手ヘッジファンドX: 金融モデリングチャレンジ 実験記録
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## ipywidgets.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                kivantium
                / ipywidgets.ipynb
            
            
              Created
              June 10, 2017 13:43
            
              
                ipywidgetsのサンプル
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## get_tweets.py
#!/usr/bin/python
#-*- coding: utf-8 -*-

from requests_oauthlib import OAuth1Session
import json
import HTMLParser

CK = 'XXXXXXXXXXXXXXXXXXXXXX'                             # Consumer Key
CS = 'XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX'         # Consumer Secret
AT = 'XXXXXXXXX-XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX' # Access Token

## get_access_token.py
#!/usr/bin/env python
# -*- coding: utf-8 -*-

import requests
from requests_oauthlib import OAuth1Session
from requests_oauthlib import OAuth1
from urlparse import parse_qs

# アプリのページから取得したkey, secretを入力
client_key    = 'xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx'

## SampleApplication.java
/**
 * You can modify and use this source freely
 * only for the development of application related Live2D.
 * <p>
 * (c) Live2D Inc. All rights reserved.
 */

package jp.live2d.sample;

import jp.live2d.utils.android.FileManager;

## chainer_caffenet_prediction.py
#!/usr/bin/env python

"""
Chainer sample code to predict labels for a given image based on pre-trained CaffeNet model

Before running this code, you must execure
$ ./download_model.py caffenet
$ ./download_mean_file.py
$ wget http://dl.caffe.berkeleyvision.org/caffe_ilsvrc12.tar.gz
$ tar zxvf caffe_ilsvrc12.tar.gz
	(* https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2017_AW/coq2.pdf *)

	Section Coq2.
	Variables P Q R : Prop.
	Theorem imp_trans : (P -> Q) -> (Q -> R) -> P -> R.
	Proof.
	intros pq qr p.
	apply qr; apply pq; assumption.
	Qed.
	import copy
	import i2v
	import numpy as np
	from PIL import Image
	from skimage.transform import resize

	image_size = 224
	channel_size = 3
	noise_size = 56
	import json
	import re
	import time

	import arxiv
	from slackclient import SlackClient


	slack_token = "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"
	sc = SlackClient(slack_token)
	import cv2

	image = cv2.imread("test.png")
	imgray = cv2.cvtColor(image, cv2.COLOR_BGR2GRAY)
	ret, thresh = cv2.threshold(imgray, 0, 255, cv2.THRESH_BINARY+cv2.THRESH_OTSU)
	image2, contours, hierarchy = cv2.findContours(thresh,cv2.RETR_TREE,cv2.CHAIN_APPROX_SIMPLE)
	result = cv2.drawContours(image, contours, -1, (0,255,0), 5)
	cv2.imwrite("result.png", result)
	#!/usr/bin/python
	#-- coding: utf-8 --

	from requests_oauthlib import OAuth1Session
	import json
	import HTMLParser

	CK = 'XXXXXXXXXXXXXXXXXXXXXX' # Consumer Key
	CS = 'XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX' # Consumer Secret
	AT = 'XXXXXXXXX-XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX' # Access Token
	#!/usr/bin/env python
	# -- coding: utf-8 --

	import requests
	from requests_oauthlib import OAuth1Session
	from requests_oauthlib import OAuth1
	from urlparse import parse_qs

	# アプリのページから取得したkey, secretを入力
	client_key = 'xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx'
	/**
	* You can modify and use this source freely
	* only for the development of application related Live2D.
	* <p>
	* (c) Live2D Inc. All rights reserved.
	*/

	package jp.live2d.sample;

	import jp.live2d.utils.android.FileManager;
	#!/usr/bin/env python

	"""
	Chainer sample code to predict labels for a given image based on pre-trained CaffeNet model

	Before running this code, you must execure
	$ ./download_model.py caffenet
	$ ./download_mean_file.py
	$ wget http://dl.caffe.berkeleyvision.org/caffe_ilsvrc12.tar.gz
	$ tar zxvf caffe_ilsvrc12.tar.gz