OpenFOAM | Free CFD Software | The OpenFOAM Foundation
OpenFOAM is the leading free, open source software for computational fluid dynamics (CFD) OpenFOAM is the leading free, open source software for computational fluid dynamics (CFD), owned by the OpenFOAM Foundation and distributed exclusively under the General Public Licence (GPL). The GPL gives users the freedom to modify and redistribute the software and a guarantee of continued free use, within
)
マーガレット・ハミルトン (科学者) - Wikipedia
マーガレット・ハミルトン（Margaret Heafield Hamilton、1936年8月17日[1] - ) は、アメリカ合衆国のコンピュータ科学者、プログラマ、実業家。彼女がチャールズ・スターク・ドレイパー研究所のソフトウェアエンジニア部門の責任者であった当時、そこでアポロ計画のフライトシステムソフトウェアが開発された[2]。1986年にマサチューセッツ州ケンブリッジでハミルトンテクノロジー (Hamilton Technologies, Inc.) を創業しCEOとなった。この会社はシステムやソフトウェア設計に関する彼女のDBTFパラダイム (Development Before the Fact) に基づくユニバーサルシステム言語 (Universal Systems Language) (英語版) により発展した[3]。 ハミルトンは、彼女が関与していた60のプロジェクトと6
ソフトウェアの基礎
Symbols_J:概要 Preface_J:前書き 前書き 概要 実際の学習について 章間の依存関係 学習者に要求される知識的前提 Coqについて 学習に必要なもの 教材となるCoqファイルの入手方法 練習問題について 推奨書籍 教育関係者へ Basics_J: 関数プログラミングとプログラムの証明 列挙型 曜日の表し方 ブール型 関数の型 数値 簡約を用いた証明 introsタクティック 書き換え（Rewriting）による証明 Case分析 Caseへのネーミング 帰納法 形式的証明と非形式的証明 証明の中で行う証明 さらなる練習問題 Lists_J: 直積、リスト、オプション 数のペア 数のリスト リストを使ったバッグ リストに関する推論 お小言 リスト上の帰納法 SearchAbout リストについての練習問題 (1) リストについての練習問題 (2) オプション apply タ
Spine:ゲーム用2Dアニメーションソフトウェア
Spineとは ゲームに命を吹き込む、大切なアニメーション。当社は、優れたアニメーションづくりには、強力なソフトウェアだけではなく強力なワークフローも不可欠だと考えています。Spineは2Dアニメーション専用に開発されたソフトウェアで、魅力的なアニメーションの作成、そして完成したアニメーションをゲームに組み込むための効率的なワークフローを提供します。 詳細を見る ライブデモ ライブデモでは、Spineで実現可能なサンプルをブラウザのウィンドウ上でご確認いただけます。アニメーションをレイヤーで再生したり、スケルトンを動的に操作したりと様々なことが可能です。 デモを見る Spineアカデミー Spineアカデミーは、Spine学習に必要な全てをご提供します。自分のペースで独学することを希望する方も、対面式のワークショップやコースを受講したい方もご心配いりません。Spineの各バージョン間の変更
KH Coder: 計量テキスト分析・テキストマイニングのためのフリーソフトウェア
概要と特長 KH Coderとは、計量テキスト分析またはテキストマイニングのための自由ソフトウェアです。 アンケートの自由記述・インタビュー記録・新聞記事など、さまざまなテキストの分析にお使いいただけます。 プログラミング不要、マウス操作で本格的な分析 安心の分析プロセス完全公開、研究利用も多数 New! 機能紹介（スクリーンショット） スクリーンショット集 ［旧ページ：言葉・文書・可視化・他］ KH Coder 3 正式版の新機能 New! 機能追加プラグイン「文錦®」シリーズ New! ダウンロードと使い方 KH Coder 3 正式版ダウンロード (Version 3.02) 使い方を知るためのチュートリアル ヘルプ 質問＆エラー報告用の掲示板 ※投稿にはGitHubへの登録が必要（無料）［旧掲示板］ よくある質問（FAQ） 開発者が語る公式セミナー & サポート：㈱SCREEN A
OpenOffice.org日本ユーザー会 - oooug.jp
オーユージーは、オープンソースの統合オフィスソフトOpenOffice.orgの後継ソフトや派生ソフトユーザーに役立つ情報を集めて公開していく場です。 OpenOffice.orgとは OpenOffice.org（オープンオフィスドットオルグ）とは、どのベンダーにも縛られないフリーソフトウェアとして、オープンソースの方針のもと開発されていた統合オフィスソフトです。 OpenOffice.orgそのものの開発は終了しましたが、派生版であるLibreOfficeやApache OpenOfficeに引き継がれて今も改善が続いています。 ワープロや表計算・プレゼンツールなどを統合したオフィスソフトです。 無料で入手でき、商用・非商用を問わず誰でも自由に利用できます。 Microsoft Officeのファイルを読み書きでき、操作もMicrosoft Office 2003までの形式に似ています
Latest topics > 「元のソフトウェアがGPLだから公開できない」という誤解について - outsider reflex
Latest topics > 「元のソフトウェアがGPLだから公開できない」という誤解について 宣伝。日経LinuxにてLinuxの基礎？を紹介する漫画「シス管系女子」を連載させていただいています。 以下の特設サイトにて、単行本まんがでわかるLinux シス管系女子の試し読みが可能！ « Nexus 7とハードウェアキーボードの組み合わせを実用する Main 「コピーレフトとBSDスタイルではBSDスタイルの方が発展するのでは」という議論についての誤解あるいは言葉の裏にある欺瞞 » 「元のソフトウェアがGPLだから公開できない」という誤解について - Jan 30, 2013 会社のブログに掲載するつもりで書きましたが、タイミング的に発表が遅れてしまいそうということだったので、勢い重視でこちらで公開してみます。 1月31日16時台追記。hide氏の意向についてのこのエントリでの推測が全く
FreeSoftwareInitiativeofJapan
FSIJについて 定款 理事 連絡先 入会方法 会員向けページ 月例会 最新の月例会情報 月例会記録 2010年度 月例会記録? 2009年度 月例会記録 2008年度 月例会記録? 2007年度 月例会記録 各種資料 フリーソフトウェアFAQ CodeFest 2005 報告 リチャードストールマン講演会 INTERNET Watch 過去イベント情報 CodeFest 秋葉原 2008 Google Summer of Code 2009 CodeFest Week 2008 Google Summer of Code 2008 CodeFest Week 2007 Google Summer of Code 2007 CodeFest京都2006 CodeFest秋葉原2006 Google Summer of Code 2006 CodeFest日本2005 夏休みコード道場200
iPhoneで書き続けた「Gene Mapper」 – Gene Mapper
前のエントリー：iPhoneで書き始めた「Gene Mapper」 前のエントリーでは、小説の体裁になるまでiText Padを用いて10,000文字程度まで書き進めたことを紹介した。文章表現の巧さで一気に読ませる短編ならば、恐らくこのまま書き終わるところだったのだろうが、あいにく「Gene Mapper」はリテラルな美しさで読ませる小説ではなく（巧くない自覚はあります）短編の域を超えてしまうことが明白であった。そこで、章立てのできるAppを探し始めたのだが…… 日本語版、いや日本人開発者の手による章立て可能なエディタが……ないわけではないのだが、使えそうなものが見当たらない。英語圏ならば星の数ほどとは言わないが「小説を書く」となれば横にバナーの出ているManuscriptをはじめ、Storyist、A Novel Ideaのような章ごとにファイルを分割して編集できるエディタが普通だ。脚本
Filesystem in Userspace - Wikipedia
Filesystem in Userspace (FUSE) はUnix系コンピュータオペレーティングシステム用のソフトウェアインタフェースである。権限を持たないユーザがカーネルコードを修正することなく独自のファイルシステムを作成できる機能を提供する。これは、ファイルシステムのコードをユーザ空間で実行することでなされるもので、その際FUSEモジュールは実際のカーネルインタフェースへの「橋渡し」しか提供しない。 FUSEはフリーソフトウェアであり、GNU General Public LicenseとGNU Lesser General Public Licenseに基づきリリースされている。FUSEのシステムは元々A Virtual Filesystem (AVFS) の一部だったが、SourceForge.net上で独立したプロジェクトとして分離された。 FUSEはLinux、FreeB
Papers on JURIS-INFORMATICS
as of Jaunary 22, 2013 下の論文タイトルをクリックすると本体を見ることができます。 (You can download papers by clicking the title). 見れない場合は、ksatoh at nii.ac.jpまで依頼いただければお送ります。 (If you cannot download a paper, please request me by sending an email to "ksatoh at nii.ac.jp". I will send the papers to you by email within 24 hours.). JURIS-INFORMATICS: General Perspective Satoh, K., ``Logic Programming and Burden of Proof in Logic
プログラマなら押さえておくべき「ソフトウェアライセンス」の話 - I am Cruby!
読書感想文ソフトウェアライセンスの基礎知識作者: 可知豊出版社/メーカー: ソフトバンククリエイティブ発売日: 2008/09/25メディア: 単行本購入: 7人 クリック: 62回この商品を含むブログ (30件) を見るGW帰省（電車の中）で読んだ本がこれ。 この時期だし新米プログラマに良い本だと思うので紹介しておく。 ソフトウェアライセンスはプログラマの基礎知識ほとんどのプログラマはOSSのライブラリを使用して、ソフトウェアを作るはず。 そこで使用するライブラリのソフトウェアライセンスには気を遣わなければならない。 例えば、GPLv2のソフトウェアに動的リンクする場合はコピーレフトが適用されてしまう。 「しゃーねぇ、じゃあ公開したろうか」と思うと、実はGPLv2とは互換性のないライセンスがすでに適用されてしまっていた。 チェックメイツッ！！！ ソフトウェアライセンスは敵じゃないよ！そう
あえて国内で業務委託を選ぶ理由とは｜何かと問題の発生する海外へのアウトソーシングにはない恩恵が魅力 - CIO Online
TCOを考えると、オフショアよりも、例えば米国であればアイオワ州やアーカンソー州といった国内業者に委託したほうが有利な場合もある。関連トップページ： ベンダー・マネジメント アウトソーシング あえて国内で業務委託を選ぶ理由とは 何かと問題の発生する海外へのアウトソーシングにはない恩恵が魅力 2010/11/11 ヘアケア機器や美容製品ベンダーの米国コンエアでCIOを務めるジョン・ハーディング氏は、中南米地域の営業担当者を支援するモバイル対応ERPソフトウェアのカスタム機能を開発するにあたり、いくつかの選択肢を検討した。具体的には、オフショア・アウトソーシングを行うITサービス・プロバイダーから、オンサイトに開発者を派遣してもらうといった事項である。 しかしハーディング氏の最終的な結論は、これまでに経験したことのない新たな試みだった。開発期間が6カ月と比較的短く、また単発的なプロジェクト
税務解説集：新会計基準の導入「III－１ 企業会計と税務の相違―取得価額」
当社は平成１２年３月期よりソフトウェアの新会計処理基準に従って会計処理を行っていますが、平成１３年３月期からソフトウェアの税務上の取扱いが変わると聞いています。この場合、企業会計上と税務上では資産に計上すべき取得価額の範囲は異なるのでしょうか。 企業会計上と税務上では、ソフトウェアを資産計上する場合に無形固定資産として計上すべき点では同じです。しかし、企業会計上は、ソフトウェアの制作に要する費用のうち、研究開発活動に関する部分は原価性がないと考えられることから期間費用として処理するため、無形固定資産の計上額を限定的に捉えるのに対して、税務上は減価償却資産の取得価額に関する規定に基づき無形固定資産の計上額の範囲を広く捉えており、取得価額算定の取扱いに差異があります。 企業会計上の取扱いと税務上の取扱いがこのように異なるのは、それぞれの制度の目的が異なることに起因しています。企業会計は適正な期
株式会社ＳＢＩ証券に対する検査結果に基づく勧告について：証券取引等監視委員会
１．勧告の内容 証券取引等監視委員会は、株式会社ＳＢＩ証券（東京都港区、資本金４７９億円、役職員 ５０７名）を検査した結果、下記のとおり、当該金融商品取引業者に係る法令違反の事実が認められたので、本日、内閣総理大臣及び金融庁長官に対して、金融庁設置法第２０条第１項の規定に基づき、行政処分を行うよう勧告した。 ２．事実関係 ○ 金融商品取引業に係る電子情報処理組織の管理が十分でないと認められる状況 株式会社ＳＢＩ証券（以下「当社」という。）は、システムリスク管理を社内規程に基づき実施しているが、今回検査において、当社におけるシステムリスク管理態勢について検証したところ、下記のとおり、発生したシステム障害の４分の３以上の事案がリスク管理の対象から漏れており、システムリスク管理そのものが実質的に機能していないに等しい状況が認められた。また、当社がリスク管理の対象としていた事案においても、その実施
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://setmefree.sns-park.com/?m=portal&a=page_user_top
コンピュータと法律相談
Knoppix-math.org