はてブログ

はてなブックマーク新着エントリーの過去ログサイトです。



タグ SCA

新着順 人気順 5 users 10 users 50 users 100 users 500 users 1000 users
 
(1 - 11 / 11件)
 

スエズ運河庁、コンテナ船の離礁と通航再開を発表 写真2枚 国際ニュース:AFPBB News

2021/03/29 このエントリーをはてなブックマークに追加 26 users Instapaper Pocket Tweet Facebook Share Evernote Clip 通航再開 離礁 スエズ運河庁 通航 コンテナ船

スエズ運河で座礁した巨大コンテナ船「エバーギブン」(2021年3月29日撮影)。(c)Ahmad HASSAN / AFP 【3月29日 AFP】エジプトのスエズ運河庁(SCA)は29日、座礁していた巨大コンテナ船「エバーギブン(Ever Given)」が離礁し、運河の通航が再開されたと発表した。 同庁は「オサマ・ラビ(Osama Rabie)長官が、スエズ... 続きを読む

CNN.co.jp : 座礁コンテナ船の大部分が浮かぶ、29日中には完全に離礁へ スエズ運河

2021/03/29 このエントリーをはてなブックマークに追加 6 users Instapaper Pocket Tweet Facebook Share Evernote Clip CNN.co.jp スエズ運河 エバーギブン 離礁 要衝

エジプト・カイロ(CNN) 世界の海上交通の要衝、エジプトのスエズ運河で座礁した大型コンテナ船「エバーギブン」の船体の大部分が離礁に成功した。 23日に座礁してから約1週間、大型船を動かそうと昼夜を問わず作業が続けられていた。 スエズ運河庁(SCA)のトップは国営テレビとの電話インタビューで、「コン... 続きを読む

Scalaで論理体系を作る話 - 1. 命題論理その1 - Qiita

2019/01/09 このエントリーをはてなブックマークに追加 23 users Instapaper Pocket Tweet Facebook Share Evernote Clip Qiita Scala 述語論理 実験 集合論

Scalaの型システムには興味深い型が存在します。Scalaの型で述語論理を表現できないか、表現できるとしたら集合論をScalaで書けてしまわないだろうか、という興味から、Scala-proofsというプロジェクトを立ち上げて実験をしています。この記事は、Scala-proofsの中で使用する論理体系の表現手法について解説します。 Sca... 続きを読む

GCP本格採用で遭遇した課題とマイクロサービス的解決

2018/02/28 このエントリーをはてなブックマークに追加 36 users Instapaper Pocket Tweet Facebook Share Evernote Clip 課題 about me 本日 第3回

GCP本格採用で遭遇した課題とマイクロサービス的解決 1. copyright Fringe81 Co.,Ltd. GCP本格採用で遭遇した課題と マイクロサービス的解決 第3回 Google Cloud INSIDE Fringe81株式会社 豊島正規 2. copyright Fringe81 Co.,Ltd. About me (@mtoyoshi) 本日は8Fよりやってまいりました Sca... 続きを読む

米下級判事、Google利用者のデータは米国外に保存されていても米国の令状で開示を強制できると判断 | スラド IT

2017/02/07 このエントリーをはてなブックマークに追加 8 users Instapaper Pocket Tweet Facebook Share Evernote Clip スラド 令状 Softpedia BetaNews 捜査令状

米国・ペンシルベニア東部地区連邦地裁のThomas J. Rueter下級判事は3日、Google利用者のデータは米国外のサーバーに保存されていても米国の捜査令状で開示を強制できるとの判断を示した( 裁判所文書: PDF 、 The Register 、 BetaNews 、 Softpedia )。 捜査令状はStored Communication Act(SCA)に基づいて発付された2件で、... 続きを読む

Scala使用歴5年のプログラマが、この言語とその環境に関する神話を解き明かす | プログラミング | POSTD

2015/12/18 このエントリーをはてなブックマークに追加 310 users Instapaper Pocket Tweet Facebook Share Evernote Clip POSTD Scala 初版 プログラマ Java

Scalaに興味ある開発者や聞いたことがあっても詳しく見たことがない人、「スムーズなプログラミングの妨げになる」と思い使用を先送りしていた人のために書きました。もちろんScalaファンに読んでもらうのも、他の人にも紹介してもらうのも大歓迎です。『 Programming in Scala (Scalaでプログラミング) 』の初版を読み始めた(でも読み終えていない)5年前からJavaの代わりにSca... 続きを読む

古代エジプト王の礼拝堂、カイロの遺跡で発見 写真1枚 国際ニュース:AFPBB News

2015/04/15 このエントリーをはてなブックマークに追加 21 users Instapaper Pocket Tweet Facebook Share Evernote Clip カイロ 遺跡 礼拝堂 古代エジプト王 AFPBB News

写真拡大 ▲ キャプション表示 ×エジプトの首都カイロにあるヘリオポリス神殿跡で見つかった、古代エジプト第30王朝のファラオ(王)、ネクタネボ1世が使用していた礼拝堂の下部に使われていた彫刻入りの石材(2015年4月14日提供)。(c)AFP/SCA 【メディア・報道関係・法人の方】写真購入のお問合せはこちら 【4月15日 AFP】エジプトの首都カイロ(Cairo)にある古代神殿遺跡で、約2300... 続きを読む

4500年前の古代エジプト女王の墓を発掘 写真1枚 国際ニュース:AFPBB News

2015/01/05 このエントリーをはてなブックマークに追加 38 users Instapaper Pocket Tweet Facebook Share Evernote Clip 発掘 AFPBB News 国際ニュース 写真1枚 AFP

▲ キャプション表示 ×エジプトの首都カイロ南西アブシルで見つかったShert Nebti王女のものとみられる墓(2012年10月11日撮影、同11月2日公開、資料写真)。(c)AFP/HO/SCA 写真写真拡大をみる 写真購入のお問合せはこちら 【1月5日 AFP】エジプト考古省は4日、これまでその存在についてあまり知られていなかった女王の墓が、チェコの考古学者チームによって発掘されたことを発表... 続きを読む

ScalaJP の Gitter がオープンしました - tototoshi の日記

2014/10/04 このエントリーをはてなブックマークに追加 29 users Instapaper Pocket Tweet Facebook Share Evernote Clip tototoshi scalajp Gitter Scala

2014-10-04 ScalaJP の Gitter がオープンしました Scala ScalaJP のメーリングリストでも流れていますが、 Gitter という Github と連携して使えるチャットサービスを利用して、Scala の日本語チャットルームができました。(kawachi さんが作ったのかな?)すでに 60 人くらい参加しているようです。 https://gitter.im/sca... 続きを読む

ちょwwwマジでおっとこまえな求人があるんだがw:ハムスター速報

2010/01/25 このエントリーをはてなブックマークに追加 570 users Instapaper Pocket Tweet Facebook Share Evernote Clip ハムスター速報 求人 VIP megalodon.jp 魚拓

ちょwwwマジでおっとこまえな求人があるんだがw カテゴリ☆☆☆ 1 :以下、名無しにかわりましてVIPがお送りします:2010/01/25(月) 09:07:23.03 ID:osg25fJm0 建 TATEMASA 政の求人詳細 魚拓 http://megalodon.jp/2010-0125-2231-22/www.hatalike.jp/h/r/H103010s.jsp?SCA=05&FF... 続きを読む

arclamp.jp アークランプ: ApacheにAJAX Toolkit Frameworkが提案

2005/12/21 このエントリーをはてなブックマークに追加 22 users Instapaper Pocket Tweet Facebook Share Evernote Clip Zimbra Tuscany アークランプ IBM クセ

TuscanyはエントリしないくせにAJAX Toolkit Frameworkはエントリします(だってSCAが理解できなかったんだもん)。 日本時間20日深夜にApache Incubatorあてに"AJAX Toolkit Framework"が提案されました(提案書のメール)。 これZimbraとIBMのエンジニアが中心というから驚きました。ZimbraといえばBEA Systemsの元CT... 続きを読む

 
(1 - 11 / 11件)