人工知能

1/474ページ

[ue4]Epic Game Jamに参加してみた感想など

【前提】 ・個人の感想と履歴文書的なものです。 ・うそを書くつもりはありませんが。経験に基づいて記述しているため、間違いが多分にある可能性があります。 ・Qiitaのブログですが技術的な手順などの記事はほとんどありません。 ・Game Jamへの簡単な参加方法なども記述しています。 ・2016年12月31日現在の情報です。 ・全てのリンクはブラウザの右クリックからどうぞ? ・2017年から毎月の開催から4半期に一回の開催に変更されました […]

slackのBotkitとkintoneを使って、クリスマスプレゼントを選んでみた

kintone Advent Calendar 2016 の24日目の記事です。 今夜はクリスマスイヴということで、クリスマスプレゼントを何にするか悩んでいる人も多いのではないでしょうか? 私は、優柔不断なので全然選べません・・・orz そんな悩める方におくるslack kintone 連携を考えてみました。 理想形 理想形は、まず適当にピックアップしたいくつかの商品をkintoneにいれておきます。 slackで「プレゼントを決める」 […]

冴えない彼女-ヒロイン-の造り方

「ある冬の日、俺は運命と出会った」 (注)この記事はカレシ・カノジョできないエンジニア Advent Calendar 2016の20日目の記事です。    初投稿ですが生暖かい目で見てください。 なぜ書こうと思ったのか 「冴えない彼女の育て方」というアニメを見て加藤恵LOVEになった 加藤恵のような彼女が欲しい ということで、彼女を造ろうと思います。 別にクリスマスが近いから彼女が欲しいとか、そういうわけでは(ry もちろんタイトルは […]

DJango1.10 ログイン チュートリアル

準備 pyenv等の隔離環境でdjangoのinstallを推奨します。 django1.10を対象に記載します。 $pip install django プロジェクトの作成 default_loginという名称でプロジェクトを作成します。 $mkdir django_login $cd django_login $django-admin.py startproject default_login $cd default_login […]

Amazon Lightsail使ってみた

どーも、こんにちは。kurodaです。最近は常時SSLを伝道してます。こんな感じで。 このAdvent Calendarでもいっぱい書かれててネタかぶりしそうだったので個人的に大好物なVPSの新サービスのインプレッションとベンチマーク結果を。 Amazon Lightsail 毎回ワクワクさせてくれる「AWS re:Invent」ですが、今回の「AWS re:Invent 2016」もウヒャーッて感じでしたね。 個人的に興味があったのは […]

Pythonで暗号:IND-CCA2とRSA-OAEP

暗号理論復習 適当な暗号を考えたとしてそれが安全なのかどうかはどうやって評価するのだろうか。 まず暗号を破る敵を考え、次に暗号がどの程度破られたのかを考えるのが暗号理論の教えるところ。 攻撃モデル CPA(任意の平文に対する暗号文が得られる) CCA1(任意の暗号文に対する平文が得られる) CCA2(攻撃対象の暗号文を見た後でもそれ以外の任意の暗号文に対する平文が得られる) 敵の攻撃能力は下の方が強い。 安全性 OW(一方向性:暗号文か […]

Coqで鳩の巣原理の証明

「Software Foundations」のLogic_Jで定式化された鳩の巣原理の証明。 pigeonhole_principle.v (* (* Logic_J.v の独自(<=)を使う場合はこの中身が必要 *) Lemma lt_irrefl : forall n, ~ n < n. Proof. induction n. intro. inversion H. intro. destruct IHn. apply […]

簡単に使える非同期画像表示-ローディング付き

今回は以下のライブラリを利用しました。 https://github.com/AFNetworking/AFNetworking CocoaPodsからのインストールが推奨されていますがフォルダをプロジェクトにコピーしても利用できます。 ドキュメントはこちらです。 http://cocoadocs.org/docsets/AFNetworking/2.0.1/ 今回はこちらの非同期画像表示に「UIActivityIndicatorVie […]

1 474