Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。

Alvaro Fides - Use of hierarchical model-view-controller architecture for use...

[G-Tech2014講演資料] シスコのSDN最新動向とITインフラエンジニアに求められるスキル - シスコシステムズ合同会社 2014年10月10日(東京)および10月17日(大阪)に開催いたしましたグローバルナレッジの特別セミナー『G-Tech 2014』における、シスコシステムズ合同会社の早川浩平氏による講演資料です。 この資料は、OpenFlowから始まるSDNの進化やそれを支えるさまざまな技術と、シスコのSDN最新動向を事例を交えてご紹介いただいた1時間のセッションで使用いたしました。

この資料は「db tech showcase 東京 2014」と言うテクニカルイベントにて、弊社の新しいOracle DBシステムの構成について発表した際のものです。 【イベントの概要】 ■イベント名 db tech showcase 東京 2014 ■主催 株式会社 インサイトテクノロジー ■イベントURL http://www.insight-tec.com/dbts-tokyo-2014.html 【セッションの概要】 ■日時 2014/11/13(木) 16:00 - 16:50 ■タイトル C36:Oracle [Yahoo] 目指せExadata!! Oracle DB高速化を目指した構成 ■概要 ExadataはストレージデバイスにSSD、ノード間通信、ストレージ間通信にInfiniBand、そしてストレージノード側に独自のシステム Exadata Smart Scanを搭載

【DL輪読会】High-Resolution Image Synthesis with Latent Diffusion ModelsDeep Learning JP

テクノロジー Y Combinator ＆ スタンフォード大学「スタートアップの始め方 (CS183B)」受講ガイド - Summary of How to Start a Startup 2014 Fall

2013年の情報オリンピック春期トレーニング合宿(日本代表選抜合宿)の4日目に出題されたSpaceshipsの解説です。問題文等は　http://www.ioi-jp.org/camp/2013/2013-sp-tasks/index.html で入手できます。Read less

静的型付けオブジェクト指向がわかったつもりになれる資料を目指しました。 つもりなので、厳密な定義はいい加減です。

プログラミングの学習方法 | How To Learn The Programming 14.05.31 WP-D Fes #02 Interviews ...

第3回のさくさくテキストマイニング勉強会で発表を行った資料です。 TF*IDFについての解説です。 http://atnd.org/events/15873Lire moins

OpenJDKのコミッタってどんなことしたらなったの？解決してきた技術課題の事例から見えてくる必要な知識と技術（JJUG CCC 2023 Spring）NTT DATA Technology & Innovation

Video and slides synchronized, mp3 and slide download available at URL http://bit.ly/1OvXF7o. Yoni Goldberg discusses the many advantages that microservices can offer or has offered to the Gilt engineering team, as well as the challenges and how Gilt’s engineers have gone about resolving these challenges. Yoni also provides a deep-dive exploration of Gilt’s Ops strategy (Docker + AWS), approach to

2014/04/16に行われた、VSハッカソン特別編『今日から始めるGit & GitHub入門』での発表資料です。Read less

2014/04/16に行われた、VSハッカソン特別編『今日から始めるGit & GitHub入門』での発表資料です。Read less

第1回 業開中心会議 基調講演資料 https://itmedia.smartseminar.jp/public/seminar/view/465

MySQL/Ruby は広く使われていますが、個人的にいくつか問題点を感じています。その問題点を改良し、ついでに機能を強化した補助的な拡張ライブラリを作成しましたので、それを紹介します。またCGIで使える軽量なO/Rマッパーを自作したので、そちらの紹介も行ないます。Read less

(beta version) KIDS, RUBY, FUN! - Introduction of the� Smalruby and Ruby�Programming �Shounendan - in RubyConf 2014 Please see the final version: http://www.slideshare.net/kouji/final-version-kids-ruby-fun-introduction-of-the-smalruby-and-rubyprogramming-shounendan-in-rubyconf-2014 This presentation is called “KIDS, RUBY, FUN!”. I will discuss our activities with the Ruby Programming Shounendan, e

あなたもできる！GASで勤怠入力Slack App構築【WESEEK Tech Conf #14】 (pert1)

SORACOM Conference Discovery 2017 | E3. デバイスからのクラウド連携パターン

ブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有

楽天のデータベースの歴史は、パフォーマンスやキャパシティーとの戦いだけではなく、急速に拡大と変化を続けるビジネスに対して如何に追従するかの戦いだった。それはデータベース管理者としての存在意義をも揺るがす大きな変革に発展していって…。最新事例を含む、アーキテクチャーパターンとエピソードで紐解く楽天データベース全史。Read less

テクノロジー [db tech showcase Tokyo 2014] C34:[楽天] 詳説 楽天のデータベースアーキテクチャ史 -シングルノードから仮想化フラッシュストレージへ- by 楽天株式会社 湯之上一樹

201805 のの会@関数Talk 2nd Notes/Dominoの@関数を取り上げながら、調べたこと、経験したことを雑談してゆこうと思います。 第2回は ＠IsNewDoc・@WindowTitle・@Now について

2014/12/25の社内セミナー「Deep Learningと自然言語処理」の資料です。Read less

iOSとAndoridのBLEとPheripheraとかCentralとかiBeaconあたりの話をつめこみました。Android 5.0 LollipopでのPeripheralサポートされた話まで対応。Read less

CoderDojo Kodairaのこれまでの記録ダイジェスト版。 「TMCNコミュニティ総会Vol.17 - for Our Kids」のLT用に作成したもの。 https://tmcn.doorkeeper.jp/events/46551 少々言葉が足りなかったので補足すると、多くても3回くらいまでなら「やらせたいので連れて来た」という行為を否定しません。体験という「機会の提供」に繋がるので。 最初は「連れられて来ただけ」だけど次第に「楽しいから」参加するようになった子も、もちろんいます。ただし「プログラミングの場」ということを理解しているかどうか定かではない方々もゼロではありませんが…。そういう意味では、親子揃って「楽しい空気感」のみに流されて参加するのはやめて欲しいですね。あと、課題は自分達で作ろう！！ …そんなところです。補足以上。

メインフレーム Presentation Transcript NetCommerce 2009-2014,all rights reserved by NetCommerce 本資料の著作権は、ネットコマース株式会社と株式会社アプライド・ マーケティングに帰属します。但し、ソリューション営業塾参加者及び参 加者が帰属する会社が、本資料をそのまま、または改変して使用する ことができます。 なお、本資料を参加者以外の第三者に提供する場合、その内容につ いての責任は負いかねますので、ご了承ください。 メインフレーム Main Frame 2009-2014,all rights reserved by NetCommerce ITプラットフォームの歴史／サーバーの視点からITプラットフォームの歴史／サーバーの視点から 業務別専用機 業務別専用機 業務別専用機 業務別専用機 集中システム 集中シ

2014/12/25 Crevo 開発チーム勉強会での発表資料です。 わたしの gem の探し方を紹介しました。

2014/12/25の社内セミナー「Deep Learningと自然言語処理」の資料です。Read less

東京ガスでは、数年前より、業務システムのオープン化に取り組んでおり、今日に至っております。とくに、地震防災という非常にミッションクリティカルな業務システムへ Ruby を全面的に採用し構築、運用しています。今回のミニセミナーでは、東京ガスグループの(株)ティージー情報ネットワークに所属する武藤様にお越しいただき、2009 年 10 月に リニューアルした地震防災システム「SUPREME」を紹介して頂くとともに、システム全体像における Ruby の位置付け、および Ruby 適用の効果について、ユーザ視点でご講演いただきました。

20240418-CambraSabadell-SesInf-AdopTecnologica-CasoPractico.pdfRamon Costa i Pujol

Y Combinator が Stanford University で実施した「スタートアップの始め方 (How to Start a Startup)」講座の復習用＆ガイド用ドキュメントです。 Paul Graham, Peter Thiel, Marc Andreessen 他、豪華講師陣による「スタートアップや事業との向き合い方」は、すべてのスタートアップ関係者の方々に聞いていただきたい内容になっています。Read less

openFrameworks addonを利用する ofxControlPanel ofxOpenCv - 多摩美メディアアートIIAtsushi Tadokoro

Ethereumのホワイトペーパーを簡単にまとめてみました。 http://gacktomo.hatenablog.com/

2017/12/6 Cybozu Days 2017 大阪 のセッション「みんなが働きたい場所で働けるリモート開発チームを目指してやっていること」の発表資料です

ソーシャルゲーム案件におけるDB分割のPHP実装 ～とにかく分割ですよ。10回じゃ足りない。20回くらい分割。～ 株式会社インフィニットループ　佐々木 亨基 2013/7/15にPHPMatsuri2013内で発表された講演のスライド

RHEL7/CentOS7のNetworkManagerの利用方法です。 2015/01/17 ver1.0 公開 2015/01/18 ver1.1 レイアウト調整と参考資料（Bonding/VLAN/ブリッジの組み合わせ）追加 2015/01/21 ver1.2 もろもろ誤植修正 2015/02/05 ver1.3 Teamデバイスの絵を追加 2015/05/23 ver1.4 RHEL7.1に合わせてコマンド修正

ブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有

An introduction to Rust: the modern programming language to develop safe and ...Claudio Capobianco

Rの関数をC++で記述することを可能にするパッケージRcppの使い方の紹介です。 第10回 Kashiwa.R で発表させて頂いた時の資料 Read less

- 自己紹介 - Scalaの紹介 - Android+Scalaの問題点と解決策 -- DalvikVMメソッド64k問題 -- コンパイルが遅い -- sbtなのとAndroid Studio使えない Read less

「よちよち.rb 第50回 みんなで LT デビューしよう会」に向けて作成しました。Read less

正規表現やオートマトンが正規言語の表現方法であることは情報系の方々には広く知られていますが，一方で代数や論理でも正規言語が特徴づけられるということはあまり知られていません．本資料では variety という視点から眺めることで，言語・代数・論理の三つの異なる概念が非常に美しい対応を見せることを紹介していきます．Read less