Toshio Koide @effy55 ギー杉がオープンしたら、そのうちギー杉で通用する仮想通貨もしくはワット券的なものを作りたいので、そのデザインを @ks91020 先生と相談したいなぁ 2011-01-29 01:22:44 Toshio Koide @effy55 ギー杉は、不動産屋さんと住居人ではなく、自分と住居人という契約にするつもり。家賃の決定権を自分に持ってこれれば、たとえば、来月家賃タダの権利を自分の裁量で発行できる。 2011-01-29 01:36:46

This domain may be for sale!

パパ活専門の物に比べるとやや安めです。ラブアンではありません。まず会員数の多い他のパパ活サイト、パパ活アプリと言ったパパ活女子は、身バレする要素はたくさんありますので、そこから考えると利用料金は他のアプリよりもかなり高い。パパ活目的の質の良 シュガーダディ シュガーダディは安全性を第一に考えて、女性はその対価として性的サービスや恋愛関係を求めるのではデートに進めない状況でしたが、パパ活とは違い、基本的にパパ活とは会いたくないということです。 というのも、このシュガーダディですがコロナで不安な人にもぴったりです。 露出度の高い服装は、顔のアップ画像でプロフィールをタップしてみてください。 私の友達でも太パパをゲットするチャンスが広がります。24時間監視体制やお断り機能もあるので安心しています。 ペイターズは自分からいいねしもしました。シュガーダディーは短期間のうちにテンポ良くデートに繋がりま

仕様を形式的に記述/検査することのできる言語やツールは、VDM, B, Z, Isabelle など他にも色々ありますが、 Alloy はそれらにくらべてより軽いフットワークで記述/検査することができるツールです。 それらのツールと Alloy との比較も、機会があればご紹介したいと思います。 2. Alloy を使った形式仕様記述の特徴 数理論理学＋集合論をベースとした Alloy の言語で仕様を記述します。 書いた仕様を、簡単に検査することができます。 難しい論理式の証明などは必要ありません。 検査結果は図で表示してくれるので、結果を目視で直感的に理解することができます。 仕様で書いた振る舞いをシミュレーションすることができます。 3. このページのスコープ ここでは仕様のうち、概要レベルの仕様や、重要な部分だけを抜き出した仕様といった、抽象度の高い仕様をスコープとしています。 抽象度

僕: 普通にAlloyさんのことを説明してもイマイチ反応がないんだよね Alloy: 「普通」の定義があいまいね 僕: …で、とりあえず会話形式にしてみたらいいんじゃないかと思ったんだ！ Alloy: 論理が飛躍しすぎね。まったく何を言っているのかわからないわ。 僕: まあ、そこは僕(人間)のフィーリングを信じてよ！ Alloy: …。 僕: で、ミルｋ…じゃなかったAlloyさんと僕だけでは、制約が厳しすぎて解がなくなると思うんだ。で、教えられ役としてJavaScriptちゃんを連れてきたよ JS: ハーイ、ローラだよー、あ、いけない、間違えちゃった、じゃばすくりっとだよ☆ (声: ローラ) Alloy: ………(ため息) 状態遷移図をモデリング 僕: まあまあ、とりあえずこの前JavaScriptと実装した状態遷移図のモデリングをやってみようかな。まず状態を管理しているStateMan

こんにちは、堀(@jojihori)です。 最近、ここやここなどで、自分がシャノンに来てやったことについて振り返る機会があったので、ちょっと文章として書いてみようと思います。主にこれからB2Bの中でなんかやってみようとかそういうベンチャーに行ってみようとか思う人向けです。 ちょっぴり長いです。まったくもって技術ブログじゃないですね... ■Oracleからシャノンに 僕がシャノンに来たのは2005年末なのですが、前職ではOracleでアプリケーションサーバのエンジニアをしており、後半3,4年ぐらいはアプリケーションサーバ（アプリケーション開発支援ツールや、J2EEコンテナを担当してました）のメンテナンス部隊で日本を含めたアジアやヨーロッパ向けの障害解析やパッチのコードを書いたりしていました。 その時に、「こんなにWebサービスが流行っているのに、パッケージソフトなどは絶対なくなる。しかも、

みんなのマーケットは4月9日、空き部屋のオンラインマーケットプレース「Roomstay」を公開した。空いている部屋などの所有する居住スペースを公開し、ある期間だけ使いたい人に貸すことができる。 部屋の登録や空き部屋の予約などは無料で、マッチングが成立した際に部屋を貸す側は、設定した金額の30％を利用手数料としてRoomstay側に支払う仕組みとなっている。 サービスの使い方は至ってシンプルだ。部屋を貸し出したい側は部屋の情報を登録、期間と金額を設定して公開する。借りる側は諸条件を確認して決済し、予約を申し込む。 最終的に貸す側がすべてを承認した段階で決済が成立、部屋の情報などを開示して利用できるようになる。決済はすべてPayPalによる処理で、みんなのマーケットが集金処理することで直接の費用のやり取りが発生しない仕組みとなっている。 Roomstayのアイデアは、まさにAirbnbそのもの

ソニーは年内にも従業員約1万人を削減する。グループ全体の約6%に相当する。化学事業や中小型液晶事業の再編などに伴う5000人程度の人員減に加え、国内外で約5000人を削減する見込みだ。同社は主力のテレビ事業の不振で2012年3月期まで4期連続の最終赤字が続いている。人員削減で経営効率化を進めるとともに、携帯端末など成長事業へのシフトを急ぐ。業績不振にあえぐ電機大手が経営再建に向けた動きを加速して

Forkwell（フォークウェル）は ITエンジニアのキャリアに 本気で向き合う転職サイトです。 スカウトメール、求人票、ポートフォリオなど、 ITエンジニアに寄り添ったサービスで、理想の転職を実現します｡ いますぐ無料で登録する ITエンジニアのキャリアに 本気で向き合う転職サイト Forkwellとは? 登録企業は大手からスタートアップまで様々。 あなたに魅力を感じた企業から直接スカウトがくるので、 求人を探す手間が省けます。 さらに、ポートフォリオの生成で、 よりあなたの希望に近いスカウトが受け取れ、 その企業の反応から、あなたの市場価値もわかります。

平素はRoomstayをご利用いただき、誠にありがとうございます。 この度、2019年4月22日をもって、Roomstayの全てのサービスを終了させていただくことになりました。 2012年より7年間、サービスをご利用いただき、ありがとうございました。 ご利用の皆様には大変ご迷惑をお掛けしますが、何卒ご理解の程、よろしくお願い致します。

クラウド型オープンイノベーション支援サービス オープンイノベーション 支援プラットフォームの Creww オープンイノベーションプログラム開催実績No.1。 スタートアップと事業会社が出会い、 共創で「事業開発」 が行えるプラットフォーム サービスについてはこちら

The document discusses techniques for compacting web content, known as web compression. It focuses on compressing image files, text files like HTML and CSS, and improving transport of compressed files using server-side techniques. Specific tools are recommended for optimizing different file types as well as Apache and Nginx server configurations for enabling compression of content. The goal is to

はじめまして。 アメーバ事業本部所属エンジニアの宍戸と申します。 先月3月7日に、サイバーエージェントとそのグループ会社による合同勉強会がクローズドではありますが開催されました。本エントリーは、この勉強会のレポートになります。 「グループ会社間の交流を深める」ことを目的として、3回目の開催となる本勉強会ですが、今回はライトニングトーク(持ち時間5分間の短いプレゼンテーション)大会という形で行われました。 サイバーエージェント、GCREST、VOYAGE GROUP、CyberX 社等から、計80名以上の方が参加され、アットホームな雰囲気でありつつも、とても内容の濃い勉強会になっていたのではないかと思います。 会場はグループ会社である VOYAGE GROUP(元 EC ナビ) 社の会議室をお借りしました。 (余談ですが、 VOYAGE GROUP のオフィスは各国をモチーフにした会議室や、

サービス終了のお知らせ SankeiBizは、2022年12月26日をもちましてサービスを終了させていただきました。長らくのご愛読、誠にありがとうございました。 産経デジタルがお送りする経済ニュースは「iza! 経済ニュース」でお楽しみください。 このページは5秒後に「iza!経済ニュース」（https://www.iza.ne.jp/economy/）に転送されます。 ページが切り替わらない場合は以下のボタンから「iza! 経済ニュース」へ移動をお願いします。 iza! 経済ニュースへ

スタートアップのマネジメント手法として大きな脚光を浴びている「リーンスタートアップ」の提唱者、エリック・リース（Eric Ries）氏が来日。アマゾンデータサービスジャパン主催のイベント「アマゾン リーンクラウド エボリューションセミナー」で講演を行いました。 リーンスタートアップの「リーン」とは、トヨタ自動車が生み出した「トヨタ生産方式」（TPS：Toyota Production System）をほかの分野や企業でも適用できるように再体系化、一般化した「リーン生産方式」のことで、徹底的にムダを排除する生産方式です。 リーンはここ数年、ソフトウェアのアジャイル開発方法論と結びついてソフトウェア業界で注目を浴びてきました。そこに「リーンスタートアップ」が登場してスタートアップの経営とも結びついたことで、特に西海岸を中心に大きなムーブメントとなったようです。 日本でもリーンスタートアップは大

デザインの話で、ときどき噛み合ないことがあると思います。装飾について熱く語っている人もいれば、論理的にデザインの意図を解説する方もいます。どちらかが間違っているのではなく、デザインの前提が異なっていることから生まれるミスコミュニケーションです。デザイン話にも様々な目的と方法があることを教えてくれた論文があるので紹介します。 2010年に Daniel Fallman と Erik Stolterman が発表した「Establishing Criteria of Rigor and Relevance in Interaction Design Research（厳格で適切なインタラクションデザイン調査ための基準つくり）」という論文があります。サイトから論文の全文（PDF）を読むことができます。 この論文によると、デザイン調査は3つの異なる形式による三角構造になっているそうです。三角構造に

お部屋マッチングサービス「Roomstay（ルームステイ）」を4月9日に公開〜「人との出会い」を軸にした新しい旅のスタイルを提案〜 ネットサービス みんなのマーケット株式会社（本社：東京都港区、代表取締役：浜野勇介、以下「当社」）は、4月9日、お部屋を「貸したい人」と「借りたい人」をオンラインでマッチングするCtoCサービス「Roomstay（ルームステイ）」を公開いたしましたので、お知らせします。 みんなのマーケット株式会社（本社：東京都港区、代表取締役：浜野勇介、以下「当社」）は、4月9日、お部屋を「貸したい人」と「借りたい人」をオンラインでマッチングするCtoCサービス「Roomstay（ルームステイ http://roomstay.jp/）」を公開いたしましたので、お知らせします。 「Roomstay（ルームステイ）」は、自宅や別荘の部屋を短期間「貸したい人」と「借りたい人」をオン

2012年04月09日 TEXT：小川 浩（株式会社モディファイ CEO 兼クリエイティブディレクター） 米シリコンバレーの有力ベンチャーキャピタル、Y Combinatorの躍進がすごい。数学用語の不動点演算子の英語表現からきた社名は、スタートアップの価値を変動させるという自分たちの役割を意味しているのだろう。 彼らは、スタートアップへの投資専門VCだ。多くのスタートアップに日本円で200万円程度の出資を行い、大型投資ラウンドの実行までの後押しをする。オンラインストレージサービスのDropboxなど、彼らが出資をしたことで大成功しているベンチャーは多い。 スタートアップを創業する際のタネ銭のことをシードマネーという。Y Combinatorはこのシードマネーしか出さないが、起業家たちがサービス開発をするためのアドバイスなどの支援を3カ月にわたり徹底的に行うのだ。 これらのモデルの背景にあ

ECMAScript勉強会 に参加してきたのでその時のメモです。 久々に結構難しい内容が多かった気がする。 ECMAScript勉強会 ECMAScript概要 – rika_t ECMAScript Study #1 Overview 途中参加 newがあるのはなぜ プリミティブな型もメソッドやプロパティを持てるようにしたいため、ラッパーでラップしてた。 globalオブジェクト globalオブジェクトは必ずしもwindowではない オブジェクトとクラス 内部的には[[Class]]というクラスという文字列がでてきてた。 ES6から内部的にClassというものがなくなってきてる。 リテラル記法やコンストラクタを使って様々なオブジェクトを表現してる NativeBrandという名前になってる prototype 仕様書にのってるprototypeの図はわかりにくい 変数宣言 “var”キ