ご注文はRedbullですか?

Redbullが欲しいです|留年回避した.

2015

今年は無事進級できたら(←重要)学部3年になります.
昨年はOSCやABC,CTF4b,SECCON,プロ生 等様々なイベントに参加しました.
他にもフォロワーと食事しに行ったり,
TG社のボドゲ会にも11月から複数回参加させてもらいボドゲの魅力にさらはまり,
一番印象に残ってるのはUsagee社で社長やかずー氏と話せたことかな.
GAに興味もったのが9月,10月にお二人と話せたことで今勉強する方面が固まったところですね.
今はもっぱら人工知能分野を勉強真っ最中っていう感じです.


今年は重要な年.
大学院に進学したいので院試の勉強をしつつ,研究前の基礎作りも大詰めになりそうです.

もっと技術力をつけたいです.
ごちうさACの技術系記事は本当に難民ぴょんぴょんできる.

本年も宜しくお願いします.

参加記(12.19/20)(書き途中)

勉強とは直接関係ないのでメモ(感想)程度に.
12/19は定例ボドゲ会に参加してきました.
12/20はAndroid Bazaar Conference(ABC)winter に参加してきました.

12/19 TG社定例ボドゲ
f:id:yumenokanatade:20141223081015j:plain:w300
ぐらぷす氏〜
スチームパーク

スチームパーク 日本語版

スチームパーク 日本語版

このゲームが結構印象に残ってます.
遊園地を作り、お金を稼ぎ、ゴミを処理するゲームです.
f:id:yumenokanatade:20141223080659j:plain:w300
f:id:yumenokanatade:20141223080717j:plain:w300

クク21

クク21 / Cucco 21

クク21 / Cucco 21

大人数で遊べるからクク21いいんだけれど,戦略性を挟む余地が運のゲームだと思っているから微妙だな.

グラスロード
森を開拓してGlassを生成するゲームです.

Glass Road

Glass Road

f:id:yumenokanatade:20141223080944j:plain:w300
難しい.˚‧º·(´ฅωฅ`)‧º·˚.
ツォルキンと同じくルーレットを使うゲームかな.
いかに相手と同じ役職のカードを選び,相手とかぶらない役所カードを出すかがポイントの難しいゲーム.

交易王

交易王 日本語版

交易王 日本語版

結構流行を読むのは難しいなと思ったゲーム.
まだどういう戦略がいいのか決まってない.
3人と4人でゲームスピードが結構変わるので人数によって戦略も変わるのかな.


他に枢機卿やたまもーる、ピットをしました.
ピットなんかも結構印象に残ったけれど紹介はまた別の機会に


12/20はAndroid Bazaar Conference(ABC)winter
f:id:yumenokanatade:20141223081338j:plain:w300
行っただけ.ちょい出遅れて行きたい講演に参加できなかったのでバザーだけ.
プロ生ちゃんにも会いに行ってきました.
f:id:yumenokanatade:20141223133301j:plain:w300
f:id:yumenokanatade:20141223133056j:plain:w300
プロ生ちゃんをOculus Riftで遊びたいからいつか開発できるようになりたい
何か作りたい意欲がたくさんある.
今回はプロ生ブースにてクエリちゃんのソフトで遊んだんですけどめっちゃ面白いんですよ。これが。
ヘリコプターや車に乗れるゲームだったのですが,めっちゃ3D酔いしたけど面白すぎてもっとやりたいって思いましたね.

niftyの箒乗るゲームも楽しかった.✌('ω'✌ )三✌('ω')✌三( ✌'ω')✌


このはちゃんにも会ってきました.
このはちゃんのクジやっぱり外れた.˚‧º·(´ฅωฅ`)‧º·˚.
いつか,このはTシャツ欲しいです。手に入れたい。
f:id:yumenokanatade:20141223133244j:plain:w300

プロ生ちゃんツイートの傾向検出(蜜柑)

この記事はプロ生ちゃん Advent Calendar 2014 - Qiita 16 日目の記事ですね.


1ヶ月前に登録したのに何もネタがないまま当日迎えてしまった.(しかも当日に記事を書く始末)
参加者はみなさん思い思いの技術ネタをプロ生ちゃんを用いて披露してて.˚‧º·(´ฅωฅ`)‧º·˚.みたいな感じになってます(進行形)
Unityとか使ってみたいなぁと思いつつ敷居が高い気もしてまだ手が出せてません.

◯お約束

f:id:yumenokanatade:20141216011102p:plain(プロ生ちゃんAC1日目より)

print(“Pronama-chan maji angel!!!”)

よし(`・ω・´)

◯本題

前々からプロ生ちゃんのTwitterはプロ生ちゃんがやっているんだろうけど,プロ生ちゃんのTwitter二人以上がツイートしてるのか.調べたかった.

プロ生ちゃんは何時に起きて、何時に寝ているのかをツイートを頼りに検証したかっ.

そもそもどうやって過去ツイート調べるんだよ.
そこから始まりました.
始めはPythonTwitterライブラリであるTweepyを利用しようと思いました.が,面倒くさくなり

ここを参考にしてTwitterAPIを叩きます

以下私のコード(かなり酷い)

#!/usr/bin/env python
# -*- coding: utf-8 -*-
from requests_oauthlib import OAuth1Session
import json

consumer_key = "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"
consumer_secret = "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"
access_token = "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"
access_token_secret="xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"

url = "https://api.twitter.com/1.1/statuses/user_timeline.json"
#プロ生ちゃんのIDを指定
params = {"screen_name":"pronama",
		  "count":200, 
		  "exclude_replies":"true", #replyは取り除く
		  "include_rts":"false",#RTは取り除く
		  } 

twitter = OAuth1Session(consumer_key,consumer_secret,access_token,access_token_secret)
req = twitter.get(url,params = params)

f=open('pronama.txt','a')

for j in range(0,160):
	if req.status_code == 200:
		timeline = json.loads(req.text)
		for tweet in timeline:
			#print tweet["created_at"],
			f.write(tweet["created_at"])
			#print tweet["id"],
			f.write(":")
			f.write(tweet["text"].encode('utf-8'))
			f.write("\n")

		a=tweet["id"]-1
		params = {"screen_name":"pronama",
			  "count":200, 
			  #"exclude_replies":"true", 
			  "include_rts":"false",
			  "max_id":a} 
		req = twitter.get(url,params = params)

	else:
		#error
		print("Error: %d" % req.status_code)
f.close()

技術不足なのでとりあえず3200件しか抽出できなかったので,そのテキストを見るとプロ生ちゃんがリプライなしで『おはよう』と呟いている件数は11月だけで11回でした.女子高生だもんね.しょうがないか.どうやら,プロ生ちゃんはフォロワーからリプライされて『おはよう』と返すことは多いけれど自分から『おはよう』という頻度は低い?のかな.「おはよう」と「こんにちは」を含めるともう少し多かったです.

次に6:00以降のプロ生ちゃんの始めのツイート時刻を調べてみた.
f:id:yumenokanatade:20141216142936p:plain
プロ生ちゃんは気分屋なのかな?
つまり何が言いたかったというとプロ生ちゃんのTwitterの中身は一人なのか否かについて検証したかった.
どう検証すればプロ生ちゃんの中身が一人なのか複数人にいるのかわかるか。

内容が無い記事でしたね.  
みなさんのプロ生ちゃんAC楽しみにしています.

来年もしプロ生ちゃんACがあるならUnityをやりたい.

SECCON 2014 オンライン予選(英語)

SECCON初参加 なんと1500ptも稼いでいて驚き
私は何もしていません*1

自分が問いた問題も人のWriteUp見るとなるほどと思い自分の手が止まる.
どっかにあるめもを見つけたら解いた、考えた過程について詳しく書きたい。

f:id:yumenokanatade:20141207195613p:plain

リア充ウォッチ


リア充になりたかったので解きました。

得点の習得方法が気になったので覗いてみたら
f:id:yumenokanatade:20141207185924p:plain

( ^ω^)おっ 
getJSON( url, data, callback )を調べてもしかしてと思い
urlの後ろの数字を変えると
f:id:yumenokanatade:20141207185917p:plain

f:id:yumenokanatade:20141207185914p:plain

てな感じでした。
リア充チートしてるのかな・・。どの選択肢選んでこんなにならないよ・・。
人生キャラ選択時点で決まってるんですかね(´・ω・`)

□jspuzzle
Function,function,toLowerCaseはすぐにわかった。そこから先
JSを最近ほとんど書かなかったのでひたすら調べまくっていてたら溶けた.
解けたらなるほどと思うものの解けないときは全然わからんかった。

□Easy Cipher
0が先頭についたら8進数,後は2進,10進,16進じゃないと言ったら友人が解きました.
□SECCON Wars:The Flag Awakens
動画にQRコード流れてるなー.キャプチャするんだろうなー.投げた.
□箱庭
やられた.

QRコードの問題が多かったですね。まさかQRブームにはならないですよね?

*1:☛(◜◔。◔◝)☚

素数判定の上辺

ニコニコ動画のごちうさ1羽 200万再生を気にごちうさを見直しました。


そこで、ごちうさ第10羽『対お姉ちゃん用決戦部隊、通称チマメ隊』で、ココアがシャロと素数を言い合うシーンが印象に残った(おかしい)。
ココアが「じゃあどっちがたくさん素数言えるか勝負だよ!」と言い素数を「2,3,5….9697,9719」まで言いました。9719は1198番目の素数である。
つまり作中ではカットされているが、ココアは1198番目までの素数を言い続けたことになる。

f:id:yumenokanatade:20141203155441j:plain:w400


まぁそんなことをきっかけに素数判定について少し調べた。

そもそも

素数  #とは
1と自分自身以外に正の約数を持たない自然数で、1でない数のことを指す。

素数判定 #とは
ある自然数 n が素数であるか合成数であるかを判定する問題である。
素数判定を行うアルゴリズムのことを素数判定法という。

ココアは素数を暗記しているのか。それとも数字を全て脳内で判定してるのか。
なーんて、くだらないことを考えながら調べてた。

どうやら素数判定法には大まかに『決定的(確定的)素数判定法』と『確率的素数判定法』の二通りあるらしい。

決定的(確定的)素数判定法(deterministic primality test) #とは
与えられた自然数nが「素数」か「否」を判定する判別法.
多項式時間アルゴリズムは存在しないとされてきたがAKSが発見された.


確率的素数判定法(probabilistic primality test) #とは
与えられた自然数nを「合成数である」または「判定不能」か判別する判別法
いろいろな条件のもとで「判定不能」と判定されればその数を素数として扱うことができる。
多項式時間アルゴリズムであることが知られている。

□決定的素数判定法

・試し割り
与えられた自然数nを「素数」と仮定し、2から1ずつ数字を増やし、その数を自然数nで剰余し0になった時点で「素数でない」と判明した時点で終了する。


・エラトステネスの篩
指定された整数以下のすべての素数を発見するための単純アルゴリズムである。
判定する数より小さな値全てを使って除算を行い、その剰余を調べることで判定する。
(1)「素数の倍数は素数ではない」
(2)「素数でない数つまり合成数は必ずその数の平方根以下に分解できる。」
数字のリストを作成し、(1)(2)の性質を利用し、数字のリストから合成数を篩い落とし残った数字のリストが素数リストである。
(具体的な流れはwikipediaGIFアニメーション見た方がいい。)
・関連としてサンダラムの篩やアトキンの篩がある。


AKS素数判定法
与えられた自然数素数であるかどうかを決定的多項式時間で判定できる世界初のアルゴリズム

この辺まで調べて力尽きました

□確率的素数判定法

・Fermat
・Solovay-Strassen
・Miller-Rabin


決定的素数判定法と確率的素数判定法

少し調べてたつもりが頭抱えてた
   Λ_Λ :::::::
  /彡ミヘ )ー、 ::::
  /:ノ: ヽ \::| :::
 /:|:: \ ヽ| :::
 ̄L_ノ ̄ ̄ ̄\ノ ̄ ̄

( ˘•ω•˘ ).。oஇ


また、素数の個数については「素数定理」を用いることによって大体がわかる。

素数定理 #とは
自然数の中に素数がどのくらいの「割合」で含まれているかを述べる定理である。



エラトステネスの篩あたりは初学者向け参考書の問題とかによく書かれているイメージがあったりするぞい
※各判別法の詳しい考え方やアルゴリズム・歴史については本・論文を参考に。
(間違っていたら指摘して下さると幸い。)

つまり

何が言いたいかというとココアはすごいな ってことです
f:id:yumenokanatade:20141203235200j:plain:w400
私も『どっちが多く素数を言えるか』ココアと勝負したい❤️

参加記(11.22/23)

勉強とは直接関係ないのでメモ(感想)程度に.
11/22 Usagee社 にて人狼
11/23 TG社 にてボドゲ

人狼は2年ぶりでした.
村は霊媒師に進行を任せる感じで始まる村でした.
村人の立ち回りがよくわからず,下手だったのと
人狼において寡黙は処刑の対象になることを思い出させてくれました.
あと考えがまとまらずに話すとボロが出る.
当たり前なんですけどね(・ω<)
ウサギィ社長を始めみなさん優しくて怖い人ばかりで楽しかったです.
次回もぜひ参戦する予定なのでよろしくお願いします.


ぐらぷす氏に誘われTGボドゲ部2回目の参戦.
最初から最後までボドゲをやり込みました!
私はロストレガシー,シャドウハンターズ,テレストレーション,お邪魔者,世界の七不思議,なつのたからもの,ゼロ,5本のきゅうりをしました.
個人的には世界の七不思議が楽しかったです。いろいろ戦略があるので極めて見たい。

テレストレーションは(´゚ω゚):;*.':;ブッって解答や絵ばかりで笑いが絶えなかったです.


最後にしたキュウリか人かを決める戦いは面白かった.
写真は地球上最後の人間を決めるバトルです.
私?キュウリです.


そしてこれ.

人を駄目にする悪魔の物体


_人人 人人 人_
>  よわい <
 ̄Y^Y^Y^Y^Y ̄

キュウリにならずボドゲ強くなりたい.
ボドゲ強くなる方が人狼強くなるよりは早い気がする.
人狼は苦手じゃ(-ω-。`)最低限各職の立ち回りは把握しないと>w<
楽しいけどな✌('ω'✌ )三✌('ω')✌三( ✌'ω')✌
次回また機会がありましたらよろしくお願いします.

ぐらさんの金で寿司が食いたいです(下衆顔