GitHub - FStarLang/FStar: A Proof-oriented Programming LanguageYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
話題の「アップロード代行絵師」とは - さまざまなめりっと
情報取得中-@maname 1999/12/31 情報取得中-@maname 1999/12/31 情報取得中-@maname 1999/12/31 情報取得中-@maname 1999/12/31 情報取得中-@maname 1999/12/31 情報取得中-@maname 1999/12/31 情報取得中-@maname 1999/12/31 情報取得中-@maname 1999/12/31 情報取得中-@maname 1999/12/31
64ビット化を加速、クアルコムが「Snapdragon」の最新動向を発表
64ビット化を加速、クアルコムが「Snapdragon」の最新動向を発表：COMPUTEX TAIPEI 2014（1/2 ページ） クアルコム（Qualcomm）は「COMPUTEX TAIPEI 2014」で、SoC「Snapdragon」シリーズなどの最新動向を説明した。同社の注力ポイントの1つが64ビット対応だ。Appleが64ビットCPUを搭載した「iPhone 5s」を発売して以来、64ビット化の流れが予想以上に加速しているからだという。 Qualcommは、6月3日～7日の5日間、台湾・台北市で開催されたIT見本市「COMPUTEX TAIPEI 2014」において、会場近くに顧客・報道関係者向け展示エリアを設けるとともに、同社のSoC戦略などについてもアップデートを行った。 同社のSoCは、日本市場向けのスマートフォンやタブレット製品にも広く採用されていて、2014年1月の
どこからでも色を選んで描けるスポイトツールみたいなペン
ドラえもんの秘密道具みたい。 例えば市場で買ってきたオレンジを紙やコンピュータ上にスケッチしようと思った時、目の前にあるオレンジの色がそのまま出てくるペンがあれば素敵だと思いませんか？ 今まで目の前にあるモノの色をある程度正確に表そうとすると目で判断するか、撮影してからパソコンに取り込んで色を調べたりとちょっと一苦労でしたよね。 このScribbleはWindowsのペイントやPhotoshopのスポイトツールのように、身の回りのモノにかざすだけでどこからでも色を選ぶことができて、実際に紙の上やデヴァイスに描ける、まさに魔法のようなペンなんです。 ペンの尻に内蔵されている｢16ビットRGBカラーセンサー｣で色を読み取り、中に入っているシアンとマゼンタ、黄色、白色、黒色の取り替え可能なインクカートリッジから、プリンタのように色を組み合わせることで読み取った色を再現することができ、なんと160
自転車のチェーンをリサイクルして作られた薄型キーチェーン
これで煩わしい鍵のゴチャゴチャから解放される…!? TIK Keychainは自転車のチェーンからリサイクルされたキーチェーンです。何がすごいかというとそのコンパクト性！ 鍵の中で一番ヘビーな頭の部分は取っ払っちまおうぜ！ という何とも斬新な発想から生まれました。写真を見ていただけければわかる通り、他の鍵が持ち手の部分の役割を果たしてくれるため、てこの原理が損なわれることなく鍵を開けることが可能なようですよ！ 現在は製品化に向けてKickstarterで出資者を募集中だそうで、実現には約240万円の資金が必要なんだとか。果たして製品化できるのでしょうか？ よく鍵を失くす訳者としては、カードポケットに収まってくれたら失くす心配がなくなりそうで何となく安心です！ Andrew Liszewski - Gizmodo US [原文] （daiya）
インフラエンジニアのやりがいや魅力とは
インフラエンジニアは、サーバーやネットワークなどのITインフラを構築する仕事です。企業の仕事環境やサービスを提供するうえで、ITインフラの構築は必要不可欠であるため、需要は常に高いです。インフラエンジニアはさらに「ネットワークエンジニア」「サーバーエンジニア」「セキュリティエンジニア」の3つに分類されます。 ネットワークエンジニアは、ネットワーク環境を設計、構築する仕事です。自社が仕事で利用するためのネットワーク環境を整備したり、開発したシステムを快適に利用できるような通信環境を作り上げます。 サーバーエンジニアは、Webサーバーの構築や運用といった、サーバー周りの業務を担います。社内のデータや、システムを利用しているユーザーの情報など、大量のデータが保管されているサーバーは、トラブルが発生すると大きな問題に発展しかねません。障害が起きた時の対応や、サーバー機器の設置や定期チェックといった
世界一高価かもしれないキューブ型アイス、そのお値段は？
世界一高価かもしれないキューブ型アイス、そのお値段は？2014.06.17 11:306,212 junjun このカルフォルニアの企業が販売している手削りキューブ型アイスのお値段、幾らぐらいだと思います？ ヒントは世界一高価かも。 主な特徴はこんな感じ。 確かに、高価な薫り高いお酒を楽しむ時に氷や水の匂いで台無しにしてしまったらもったいないので無臭なのはポイント高そう。また、手削り効果で、一気にグラスを冷やすけど、その後は溶けにくくなるから、お気に入りのお酒をゆっくり美味しく味わえるのも魅力的なのかもしれませんね。 で、お値段なんですけど...。 1個で8ドル（約800円）、50個セットで325ドル（約3万3,000円）！ シングルモルトをこよなく愛し、贅沢な大人の時間を楽しめる人なら、その価値がわかるのかも!? 個人的には、そういう条件って最初の2杯目ぐらいまでしか気にならないので、丸
宣誓！私は合コンを卒業します！！！ - にんじんの塔
2014-06-16 宣誓！私は合コンを卒業します！！！ 最近の私のテーマは「生きねば！」 とにかく生きていればOK!OK!そんなスタンス。 なので、合コンに誘われてホイホイ参加表明。 明日にでも嫁にしてくれるネ申と出会えるかもしれないじゃないですか。 でも、当日ものすごく体調が悪く、お店の場所もワケの分からないところにあり、激しく気が進まなくなった。電車に乗っている時もドタキャンのことばかり考えていた。 でも、ひょっとしたら良い出会いがあるかもしれないし…。もはや宝くじ。 結局、あれは虫の知らせだったのか「もう二度と合コンには行かねえ！！！」と思う結果となった。 あまり具体的に書くのもアレだけど、日常生活で接点のないような人たちが来た。かなり面食らってしまった。私は面食いなんだなってことを痛感した。 その幹事の合コンはいつもきっちり割り勘だ。 そりゃあ、自分で食べた分を自分で払うのは当
隣人の騒音 引っ越したいという気持ちと、でもな…という迷い - 能面ヅラ美
2014-06-16 隣人の騒音 引っ越したいという気持ちと、でもな…という迷い 一人暮らしの事 うるさい。隣人がうるさい。私の住まいは鉄筋コンクリートのマンション。築25年で綺麗とは言えない。それでも木造に比べたら防音効果は高いはず。以前の隣人男性は、非常に静かだった。私は雑音が苦手だ。いや、苦手じゃない人なんていないと思うが。職場では大きな声でテンション高く喋る人が隣にいて、その声が耳につき、耐えられなくなるとトイレに逃げ込んでいる。基本的に、話す事がなければ口を開かないという私は、意味の無い事をギャンギャンと喋り続ける人が苦手なのだ。そんな私にとってのエネルギー補充とストレス発散は、1人で過ごす自宅での静かな時間。これが出来ないと心に余裕が無くなってくる。が…最近は、引っ越してきた隣人がうるさくて泣きたくなる。どうやら隣人は若い女性のようで、時々母親らしき人との会話が聞こえてくる。う
セブンの「おにぎり」はなぜうまいのか：日経ビジネスオンライン
大竹 剛 日経ビジネス記者 2008年9月から2014年3月までロンドン支局特派員。2014年4月から東京に戻り、流通・サービス業を中心に取材中 この著者の記事を見る
テスラ・モーターズCEO｢面白そうだから空飛ぶ車作ろうか｣
ぶ、ぶっ飛んでる。 テスラ・モーターズCEOのイーロン・マスク氏が｢面白そうだから空飛ぶ車作ろうか！｣なんてことを言っています。言うは易く行うは難しっていう諺がありますが、マスク氏は意外と簡単に作れるはずだと公言しています。彼がThe Independentに語ったところによると、実現を困難にしている点はたった二つ。それは｢どうやって安全かつ、静かなものを作るか｣だと。 そんなの当たり前じゃん、それが簡単に解決出来れば空飛ぶ車なんてもっと普及してるよ！と、思うのは僕の考えが甘いのでしょうか。 マスク氏は他にもいろいろな未来構想を発表しています。その内容はどれも驚くほど壮大です。 火星旅行にはじまり、この前の超音速列車ハイパーループ、そして今度は空飛ぶ車。 実現が待ちきれないプロジェクトたち。50年後のギズモードで｢もうすぐ実現しそうな物｣として記事を書いていないことを願います。 Matt
先端だけ被せる斬新なスタイル、これぞ未来のコンドーム？
先端だけ被せる斬新なスタイル、これぞ未来のコンドーム？2014.06.12 16:0024,455 mayumine こんばんは。今日は超ミニマルデザインの最新型コンドームのご紹介です。一応念押しですが、以下の画像や動画は一部職場閲覧注意ですよ。 Charles Powell氏によると、みんなの性行為に対する悲喜こもごもは、この｢Galactic Cap（銀河キャップという謎の製品名）｣が解決するらしいのです。 避妊デヴァイスは2つの手順から構成されています。そして彼が提唱する次世代コンドームの重要なポイントは男性器の先端に装着するだけなんだそうです。まず最初は、U字型のポリウレタン製の粘着フィルムを｢本番の1時間前、なんなら1日前｣から装着できます。 そして次のポイント、これがいわゆるマジックを起こす部分らしいのです。それは｢本番が始まる機会｣が訪れた時、（最初に装着した）ベースフィルム
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
O'Reilly Media - Technology and Business Training
oreilly.com
TechCrunch | Startup and Technology News
Alissa Pajer - How Haskell is Changing my Brain
Lattice's $24.99 iCEstick FPGA Evaluation Kit - EE Times
メンテナブルなJsってなんだろう