楽天は、個人向けにインターネット上で政治献金ができるサービスを開始する。クレジット決済ができるようにした点が特徴で、このようなサービスを本格的に展開するのは日本初という。 楽天の政治情報サイト「LOVE JAPAN」において提供し、政治家のプロフィール情報や動画なども掲載する。サービス開始日は7月27日の予定だが、「総選挙の公示日や投票日によって、開始日は変わる可能性がある」（楽天 インフォシーク事業部ニュースグループマネージャーの高橋朗氏） 献金できる対象は現職の国会議員、もしくは政党に所属していて国会議員の候補者となることが政党から認められている者のみとなる。無所属の場合は、現職の国会議員以外は認められない。また、献金サービスを楽天に申し込んだ政治家のページにのみ、献金ボタンが設置される。 高橋氏によれば、「何らかの線引きが必要なため、政治資金規正法の枠組みを利用した」とのことで、政治

新R25は、仕事や人生を楽しむビジネスパーソンのための「ビジネスバラエティメディア」です。編集部によるインタビューコンテンツを通じて、R25世代のみなさんの"小さな一歩"を応援します。

フォーマルメソッド（形式手法）をご存じだろうか。これは，ほとんどの場合日本語で記述される「要求仕様」を，プログラミング言語によるコーディングと同じように，厳密に「仕様記述言語」で定義する手法のことである。 要求仕様を仕様記述言語で厳密に定義（モデリング）することで，要求仕様のあいまいさがなくなるほか，ライブラリを作成しておけば「要求仕様の再利用」も可能になる。構文チェックや型チェック，インタプリタによる動的テストにより，要求仕様の正しさもツールで検証できる。結果的に，要求定義フェーズの欠陥を大幅に減らせる。 言うまでもないが，システム全体の品質を高めるためには，要求定義などの上流工程の欠陥をどれだけ減らすかが大きなカギとなる。そういう意味で，「フォーマルメソッド」は高品質なシステムを作るための重要な武器になり得ると，記者は思っている。 ただし，「仕様記述言語を学ぶのが難しい」という理由で，