タグ

2012年9月24日のブックマーク (19件)

  • dfltweb1.onamae.com – このドメインはお名前.comで取得されています。

    このドメインは お名前.com から取得されました。 お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 日のドメイン登録業者(レジストラ)(「ICANNがレジストラとして認定した企業」一覧(InterNIC提供)内に「Japan」の記載があるもの)を対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2023年10月時点の調査。

    jun_okuno
    jun_okuno 2012/09/24
    "形式手法は、従来まで自然言語を用いて記述していた仕様を、形式仕様記述言語を用いて 言語のルールに則った厳密な記述をすることによって、上流工程からソフトウエアの品質を高めていきます。"
  • 自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(後編)

    自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(後編) 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み 厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 記事は、前編、中編、後編の3部構成です。お読みのページは後編です。 大規模なテストをどうやって実行しているか 続いて、大規模なテストについて。 1000万件のテストパターンを作っても、それぞれのテスト結果の正解を人手で作っていたら追いつきません。なので、別々に運賃計算ソフトウェアを作って、その答えを突き合わせてチェックしよう、という話です。 例

    自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(後編)
    jun_okuno
    jun_okuno 2012/09/24
    "日本語の仕様書を形式仕様記述言語にすると9400行になったのですが、そのうち1400行は日本語の仕様書に書かれていなかった用語の定義などでした。"
  • 自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(中編) - Publickey

    自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(中編) 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み 厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 記事は、前編、中編、後編の3部構成です。いまお読みのページは中編です。 自動改札機の制御は1000件くらいのテスト さて、次は間違えない自動改札機の話です。ここからソフトウェアの話になります。 1つは運賃計算。この切符はこの駅で降りられるのか、というもの。そしてもう1つは自動改札の制御。ランプを光らせるとか、切符を回収するとかです。 まずはその

    自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(中編) - Publickey
  • 自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(前編)

    自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(前編) ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか? 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡

    自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(前編)
  • スマホサイトに入れると使いやすくなる!おすすめjQuery4選! | 株式会社LIG(リグ)|DX支援・システム開発・Web制作

    どうも、はやちです_(:3」∠)_ スマホに使うとよりサイトが見やすくなるjQueryをまとめてみました。 アコーディオン アコーディオンみたく開閉式のメニューが実装できるjsです。 記事の多いコンテンツをまとめるのに便利ですね。 ■動きをみる HTML <dl class="acordion"> <dt class="trigger">アコーディオンメニュー<span class="open-close">open</span></dt> <dd class="acordion_tree">テキストテキストテキストテキストテキストテキストテキストテキスト</dd> <dd class="acordion_tree">テキストテキストテキストテキスト テキストテキストテキストテキスト</dd> <dd class="acordion_tree">テキストテキストテキストテキストテキストテキ

    スマホサイトに入れると使いやすくなる!おすすめjQuery4選! | 株式会社LIG(リグ)|DX支援・システム開発・Web制作
  • May_Romaさんの痛烈な批判からSI業界を学ぶ - novtan別館

    僕もかれこれ十年以上、この業界にいて、それなりに問題点についてはお伝えすることもあったと思います。 たとえばこれ→SI業界を目指す君達へ贈る「何故システム開発はテンパるのか」 - novtan別館 ただ、それはSIerだけが悪いわけではなくて、ユーザーも含め、ITとは何かということについての意識がうまく転換できなかったことに根的な問題があると思っています。ITは何をするためのものなのか。SIerが従来作ってきたシステムは、従来のやり方で問題なかったし、まだそういうITの世界は暫く残ることは残ります。ただ、全体のパイは縮小しているようにも見えますし、生き残りをかけた戦いはそろそろ中盤戦ではあります。 と、前置きをしつつ、題に。 May_Romaさん連続Tweet:「インフラとかシステムとかの問題ではなく、そもそも仕事のやり方がおかしい。」 - Togetter ここにまとめられたものから

    May_Romaさんの痛烈な批判からSI業界を学ぶ - novtan別館
  • TechCrunch | Startup and Technology News

    Agritech company Iyris helps growers across eleven countries globally increase crop yields, reduce input costs, and extend growing seasons.

    TechCrunch | Startup and Technology News
  • 英語学習の嫌いな大人がTOEIC900点取るまで活用したTED便利サイト7選[比較図まとめ有] | みんなの扉を開くカギ

    ※上の目次から各項目にジャンプできるようになっているので、時間のない方は興味のあるところだけでもご覧ください。 TEDとは? 繰り返しますが、TEDは堅い教材ではなく最高のエンターテイメントです。 TEDの魅力を3行でまとめると、 1.世界最先端で活躍するリーダー&スペシャリストたちの 2.磨きに磨かれた最高のプレゼンテーション(英語:3~20分)を 3.全部無料&日語字幕付きで楽しむことができるサービス です。 そんなTEDを楽しくみ、更に英語力を磨くことができる便利サイト7つをお伝えします。何が便利で、私がどう活用したのかも合わせてご紹介します。 0.公式サイト 最初に公式サイトの使い方をお伝えします。Youtubeに似ているので、簡単に理解できます。3つの基動作を覚えましょう。 (1)字幕を表示する 字幕を表示できれば海外映画を見るようにTEDを楽しむことができます。こちらにア

    jun_okuno
    jun_okuno 2012/09/24
    TED関連サイトのまとめ。英語学習はどうでもいいや。
  • May_Romaさん連続Tweet:「インフラとかシステムとかの問題ではなく、そもそも仕事のやり方がおかしい。」

    May_Roma めいろま 谷真由美 @May_Roma 日の保守的な会社や団体の問題の一つは人が入れ替わらないこと。外のやり方や状況を知らないから知識や技術が陳腐化する。外を知らないから、成果物の質の良し悪しがわからない。組織内での競争は成果物ではなく、人当たりや気遣いなどになり、成果物の質が低い人でも上になる。 2012-09-22 19:48:51 May_Roma めいろま 谷真由美 @May_Roma これが致命的になっているのが日IT業界。日では優良と言われている所でも仕事のやり方は独自。業界の流れを無視だから海外に15年は遅れている。効率も悪いから延々デスマーチ。文書一枚すら外の人には意味不明な書き方。最新のやり方を学びたい人は海外の先進国行かないとヤバイ。 2012-09-22 19:53:07 May_Roma めいろま 谷真由美 @May_Roma 日

    May_Romaさん連続Tweet:「インフラとかシステムとかの問題ではなく、そもそも仕事のやり方がおかしい。」
  • YOLP(地図) - Yahoo!デベロッパーネットワーク

    Yahoo! Open Local Platform(YOLP)は、Yahoo!マップがデベロッパー向けに提供する地図・地域情報のAPI・SDKです。ウェブページの制作はもちろん、スマートフォン向けアプリケーションの開発においても、多彩な地図表示、店舗・施設検索、ジオコーディング、ルート検索、標高データ取得などの豊富な機能をご活用いただけます。 お知らせ 地図・地域情報の検索 Yahoo!ローカルサーチAPI 全国の店舗、イベント、クチコミ情報などの地域・拠点情報を検索できます。 Yahoo!ジオコーダAPI 住所をキーワードとして検索し、その位置情報を提供します。 Yahoo!リバースジオコーダAPI 指定の地点の住所情報を取得する機能を提供します。 その他の便利ツール 気象情報API 指定した緯度経度の降水強度実測値と予測値を取得できます。 郵便番号検索API 郵便番号を指定して、位置

    YOLP(地図) - Yahoo!デベロッパーネットワーク
  • 全く予想外だった、バズった伝説のウェブデザイナー募集記事の影響あれこれ | 株式会社LIG(リグ)|DX支援・システム開発・Web制作

    こんにちは。最近、衣替えに失敗した紳さんです。 以前、当サイトで発表した社長を砂浜に埋めてウェブデザイナーを募集するという記事が様々なニュースサイトなどでも紹介されるなど、TwitterやFacebookなどのSNSを中心に注目を集め、話題になりました。 2012/9/24現在、伝説のウェブデザイナーの記事をツイートしてくれた回数がほぼ10000に! というわけで、今回はこの「バズり」がもたらした様々な影響について6つ書き留めておきたいと思います。 1. ずっと前からあった代表挨拶がいきなり注目された 「ジャストアイディアですが。」 当サイト立ち上げ当初からずっとあるこちらの代表挨拶が、伝説ウェブデザイナーを発表したことから連鎖的に注目を集めました。立ち上げから8ヶ月ぐらい経つ当サイトですが、この少しユニークな代表挨拶が今まで注目を浴びたという事はありませんでした。 しかし今回、「社員に砂

    全く予想外だった、バズった伝説のウェブデザイナー募集記事の影響あれこれ | 株式会社LIG(リグ)|DX支援・システム開発・Web制作
    jun_okuno
    jun_okuno 2012/09/24
    なんの細工もしないで砂に埋めてたのか。無事でなにより。
  • ほぼ日刊イトイ新聞 - 21世紀の「仕事!」論。

    しかも、1軒1軒の家の名前が入っているという その「ものすごく詳細」な地図を ゼンリンさんというひとつの民間企業が 全国規模で整備しているというのも‥‥。

  • koboのストアからWikipedia作品消える 「ISBN」は「商品番号」に

    koboイーブックストアに500冊ほどラインアップされていたWikipedia出典の電子書籍が削除されている。また、議論を呼んでいた「ISBN」は「商品番号」に変更された。 楽天の子会社であるKoboの電子書籍ストア「koboイーブックストア」でWikipediaの日語コンテンツが配信されたのは既報の通りだが、これらの作品が今、ストアから姿を消している。 楽天の三木谷浩史社長はTwitterを通じて、作家や作品への理解を深めてもらう趣旨でWikipediaの作家情報を配信したとするツイートを投稿。この投稿に対し、作品ファイルにDRMを施していることがWikipediaのクリエイティブ・コモンズ・ライセンス(CC BY-SA)に反しているのではないかといった指摘も多く寄せられているが、同件に関して三木谷氏や同社は今のところ見解を示していない。 一連の作品に関しては、“ストアで一端検索できな

    koboのストアからWikipedia作品消える 「ISBN」は「商品番号」に
  • iOS6地図は元データや文化の差異ではなく、ずさんなエンジニアリングが原因 - 横浜スローライフ -- My slow life in Yokohama

    iOS6の地図のお粗末さが大変大きな話題となっている。話題にしているのは地図関連の人たちだけではなく、実に広範な人たちである。それほど、スマートフォンにおいては、地図が「欠かせないもの」なのであることを改めて感じる。そして、日のスマートフォンのおよそ3台に1台がiPhoneであることを考えると、地図をアプリに活用している多くのサービス事業者にも多大な影響が出そうだ。 私も先週のサンフランシスコ出張中にiPadをiOS6へとアップグレードして、その地図を確かめてみた。なるほど、これは品質が良いとか良くないとか言うレベルでは無くて、欠陥商品のレベルである。この状態でiOS6の標準地図として提供するのは、そもそも誤った企業方針である。 ちまたには、データソースがゼンリンではなくてインクリメントPであるからだとか、海外の地図やOpenStreetMapを採用しているからだとか、知ったかぶりのコメ

    iOS6地図は元データや文化の差異ではなく、ずさんなエンジニアリングが原因 - 横浜スローライフ -- My slow life in Yokohama
  • iPhone 5とiOS 6を使いこなすための小技・裏技・Tips集 - RyoAnna

    iOS 6が登場して3日、iPhone 5が発売されて2日が経った。新しいOSを使っていると色んな発見があって面白い。今回の記事は、各サイトで紹介されている小技や裏技をまとめた。 過去のまとめ記事はこちら。 iPhoneがもっと楽しくなる小技・裏技・Tips集 - #RyoAnnaBlog iOS5をマスターするための小技・裏技・Tips集 - #RyoAnnaBlog 今回のTips集と合わせると、より一層iPhoneが楽しくなるはずだ。 1. ランドスケープモードでフリック入力 iOS 6でランドスケープモードのフリック入力が改善され、画面の右にテンキー、左に変換候補が配置されるようになった。iPhone 5専用のインターフェイスとの事。 [iPhone 5] 横画面(ランドスケープモード)でも快適にフリックできます。 | 覚醒する @CDiP 2. Safariのランドスケープモード

    iPhone 5とiOS 6を使いこなすための小技・裏技・Tips集 - RyoAnna
  • アプリをiPhone5に対応する場合の地雷ポイント一覧 | fladdict

    地雷キャッチャーとして定評のあるfladdictですが、今回も大量の地雷を踏み歩いております。 とりあえず、解決方法を知らないとハマるポイントを色々とピックアップ。自分では直ったけど一般化できてない現象もあるので、間違い勘違い等ありましたら、コメント欄でビシバシご指摘ください。 iPhone5対応すると、iOS4.3以前では動かなくなる 最新のXCodeがarmv6のコンパイルをしてくれないので、ご臨終となります。 公式じゃないほうほうで無理矢理バイナリをビルドすればhogehoge。 サードの静的ライブラリが入ってると、コンパイルできない場合が 最新XCodeからコンパイルに、armv7sという新アーキテクチャが必須となってますが、ビルド済み静的ライブラリにはむろん入っていないのでコンパイルできません。対策は2つあって、ひとつは対応ライブラリが出るまでリリースを見送ること、もう片方はXC

  • アプリのiPhone5対応 - Toyship.org

    今までのアプリをiPhone5の640x1136の縦長画面に対応させるために私がやったことのメモです。 (たぶんこれで大丈夫だと思うんですけど、何か問題があったら追記します。) iPhone5画面サイズ対応 まず、アプリをiPhone5の640x1136サイズで起動するには、プロジェクトにこの画像ファイルを追加すること。(もちろん画像サイズは640x1136) Default-568h@2x.png 公式書類に一応書いてあるんですが、ちょっと記述がわかりづらいですね。(もうちょっとわかりやすくかいてくれてもいいと思うんですけど。) iOS App Programming Guide(App-Related Resources) 各画面のサイズ変更対応 次に、起動画面以外の各画面をiPhone5/iPhone4の両対応にするための変更です。 まずは、それぞれのxibファイルを開いて、ベースと

    アプリのiPhone5対応 - Toyship.org
  • 「にやける」 70%超が誤って使用 NHKニュース

    「にやける」ということばを「なよなよとしている」という来の意味とは違い「薄笑いを浮かべている」と誤って使っている人が70%を超えていることが、文化庁の調査で分かりました。 調査は、文化庁が日人の国語に関する意識を調べるため、ことし2月から3月にかけて全国の16歳以上の男女およそ3500人を対象に行い、ほぼ60%に当たる2000人余りから回答を得ました。 この中で、日常生活でよく使うことばをどういう意味で使っているかを聞いたところ、▽「にやける」を「なよなよとしている」という来の意味で使っている人は14.7%にとどまり、「薄笑いを浮かべている」と誤って使っている人が76.5%に上りました。 また、▽「割愛する」を「惜しいと思うものを手放す」という来の意味で使っている人は17.6%で、「不必要なものを切り捨てる」と誤って使っている人が65.1%だったほか、▽「失笑する」については、「こ

    jun_okuno
    jun_okuno 2012/09/24
    同音異義語ということにすればよい。
  • Google 乗換案内にバスルート登場

    メディア関係者向けお問い合わせ先 メールでのお問い合わせ: pr-jp@google.com メディア関係者以外からのお問い合わせにはお答えいたしかねます。 その他すべてのお問い合わせにつきましては、ヘルプセンターをご覧ください。

    Google 乗換案内にバスルート登場
    jun_okuno
    jun_okuno 2012/09/24
    いくつか試してみたが便利そう。