Idris is a general purpose language with full dependent types. It is compiled, with eager evaluation. Dependent types allow types to be predicated on values, meaning that some aspects of a program's behaviour can be specified precisely in the type. The language is closely related to Epigram and Agda. There is a tutorial at https://www.idris-lang.org/documentation. Features include: Full, first cla
こんにちは。有言実行がモットーのわたくしでございます。 さて、皆さまは覚えていらっしゃるでしょうか。 決めた! iPhoneはもう買わない。だからSONYはXperiaZ3-X出しなさい Z3-Xどころか先日のCES2015のライブでソニーの発表見てたら華麗にZ4の発表もスルーされ、今年の夏にZ4 Ultraが出るのかも危うい状態になってきました。そんなこともあって訳ありましてわたくし2台目のXperia Z Ultraを入手して使っております。iPhone6 Plusとの2個持ちですが、テザリングとか電車内読書などはこちら。使用頻度がここ1年で一番高いデバイスです。 で、Z4 Ultraが出たらiPhone6 Plusから切り替える所存ですが、その前に島野製作所の技術をパクった電源アダプタのMacBook Proをなんとかせにゃーあかん、といろいろ画策しているわけです。で、Chromeb
パスワードを平文で送ってくるっぽいサイトまとめ パスワードを平文で送ってくるっぽいサイトをまとめています。サイトと関連ツイートを参照できます。
「パスワードを平文で送ってくるっぽいサイトまとめ」とは パスワードを平文で送ってくるっぽいサイトをまとめたサイトです。「パスワードを平文で送られた!」といったツイートを、Web サイトの URL とセットで登録していくことができます。 編集など高度な機能は(いまのところ)ありません。 開発経緯 平文でパスワード保存してるサービスのまとめないの — JZ5 (@jz5) August 30, 2013 登場しませんでした。 世間の声 平文でパスワード保存しているサービスの一覧が欲しいな(´・_・`) — Hideyuki Tanaka (@tanakh) March 4, 2014 平文でパスワード保存してるサービスリストを持ってて、会員登録しようとしたらポップアップで知らせてくれるブラウザアドオンとかないの — ぱせら (@pasela) August 30, 2013 パスワードを平文メ
好きなパーツを組み合わせて自分オリジナルのスマートフォンを作れるプロジェクト「Ara」について、2015年1月14日、Googleが第2回開発者会議を開催。この中で、試作機「Spiral 2」と組み替えパーツ(モジュール)が公開され、2015年後半についにAraをテスト販売することが発表されました。 DevCon2 — Project Ara http://www.projectara.com/ara-developers-conference/ This is Google’s latest Project Ara prototype | The Verge http://www.theverge.com/2015/1/14/7546841/google-project-ara-prototype-2015 Project Ara on sale first in Puerto Rico
名前:名無しさん投稿日:2015年01月14日 原作(焼いた斜め切りのネギ) アニメ(生の刻みネギ) 「ネギも甘くておいし~い」←?? 名前:名無しさん投稿日:2015年01月14日 補足 原作で長ネギを焼いたのを、 「甘くて美味い!」って食ってる描写を、 アニメじゃ、普通の生の青ネギ、それも刻みネギを、 「甘くて美味い!」って食ってる 名前:名無しさん投稿日:2015年01月14日 おっ調理部も現れたか 名前:名無しさん投稿日:2015年01月14日 あー 違和感のヒミツはこれか 長ネギは甘くてとろけて美味しいよね 名前:名無しさん投稿日:2015年01月14日 うん、そこは違和感あった あのネギが甘い? おかしい て思った 名前:名無しさん投稿日:2015年01月14日 原作では白菜の芯を漬物にしたって言ってないんだな 名前:名無しさん投稿日:2015年01月14日 もうチビが貧乏舌で
鳩山由紀夫元首相(67)ら政財界の男性が出演する六本木男声合唱団倶楽部によるミュージカル「ウェスト・サイズ・ストーリー」(14、15日、東京・渋谷オーチャードホール)の公開リハーサルが13日、行われ、女性初の元米大統領役を演じる鳩山氏は、初の女装姿を公開。幸(みゆき)夫人似?との声もあった自身の姿に、「思ったより妖艶な女になってしまった」と照れ笑いを浮かべた。 【写真】女装し、ダンスを披露する鳩山元首相 劇中では、元カレ役を演じる日本赤十字社の近衞忠てる社長とのキスシーンもある。自身が創設した民主党は、代表選間近だが「私は関係ないです。劇で誇りの持てる国、友愛を表現したい」と我関せず、だった。
カムロちゃん 「カムロちゃん」は、佐倉・城下町400 年記念事業のイメージキャラクター。 江戸時代初期に土井利勝が佐倉の領主となってから400 年、これを機に佐倉の魅力を発信するため、現代に復活しました。 市広報紙「こうほう佐倉」では、2010 年から4コマ漫画を連載。大妖術・三次元で絵から抜け出し、各地のイベントなどにも出没しています。 コンセプトは「ゆるキャラ以上、萌えキャラ未満」!? 〈表記〉 カムロちゃん(佐倉・城下町400年記念イメージキャラクター) 〈由来・プロフィール〉 その昔、佐倉城に棲んでいた〈妖かし〉(あやかし)で、こう見えて400歳。「かむろ」とは昔の言葉で、おかっぱ頭の子どものこと。 江戸時代の記録書『古今佐倉真佐子』(ここんさくらまさご)に、「城内で毎晩、8~9歳くらいの〈かむろ〉が、書院の杉戸に描かれた絵から抜け出して遊んでいる」(意訳)という記述がある。 城が
ゼノシリーズ最新作「ゼノブレイドクロス」の発売日が4月29日に決定。「あらかじめダウンロード」による販売が近日開始 編集部:YamaChan 任天堂は,本日(2015年1月14日)配信されたプレゼンテーション番組「Nintendo Direct 2015.1.14」にて,Wii U用ソフト「ゼノブレイドクロス」を2015年4月29日に発売予定であることを明らかにした。価格はパッケージ版,ダウンロード版ともに7700円(税別)。なお,「あらかじめダウンロード」による販売を近日中に開始するとのこと。 「あらかじめダウンロード」は,昨年の任天堂決算説明会で明らかにされた,いつの間に通信を利用するソフトのダウンロード方法。対応するオンラインショップでダウンロード版ソフトを購入するときに,ニンテンドーネットワークIDとパスワードを入力しておくと,「いつの間に通信」でソフトがあらかじめダウンロードされ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く