サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
iPhone 16
sel.ist.osaka-u.ac.jp/~mnktsts
形式概念の導出 形式概念(A,B) オブジェクト集合Gの部分集合Aの全てのオブジェクトが属性集合Mの部分集合Bの全ての属性を持ち、かつAの各ノードはBの属性以外に共通して持つ属性がない時、この様なAとBの2つ組(A,B)を形式概念と呼ぶ 導出結果 ({りんご,トマト,みかん}、{}) ({りんご,トマト}、{赤い}) ({りんご,みかん}、{果物}) ({りんご}、{赤い,果物}) ({トマト}、{赤い,野菜}) ( {}、{赤い,果物,野菜} ) 束への変換 形式概念(A1,B1)と(A2,B2)について、A1⊃A2(⇔B2⊃B1)の時、(A1,B1)<(A2,B2)と定義する。 これにより、半順序<が定義される ({りんご,トマト,みかん}、{})は最下限、( {}、{赤い,果物,野菜} )は最上限となるため、これは束の構造をとる 変換結果
sel.ist.osaka-u.ac.jp
sel.ist.osaka-u.ac.jp/~m-itii
Ctrl+Cで落とした時に「後始末」な処理(ファイルを閉じるとか,DBにロールバックをかけるとか)をしてから終了させたいとか思ったときの話. 方法は2通りで,ひとつはVMのシャットダウンにフックをかける方法,もうひとつはSIGINTを捕まえるという方法. ちなみに推奨されるのは前者(というか後者が推奨されない.理由は後述). まずは一つ目から.以下の様にして,シャットダウン時に走るスレッドを用意してRuntimeに渡す. public class ShutdownHookTest { public static void main(String[] args) { ShutdownHookTest main = new ShutdownHookTest(); main.exec(); } void exec() { Runtime.getRuntime().addShutdownHook(
入手方法 The Alloy Analyzer - http://alloy.mit.edu/ 機能 モデル解析ツール。 一階述語論理を元にした独自のモデル記述言語によりシステムの仕様を記述することで、その仕様に矛盾や漏れがないか、制約を満たさないような反例はあるか、などを分析・検査することができる。 基本構文 モジュール ファイルの先頭で指定する。 module ファイルパス/モジュール名 モジュールの定義 open ファイルパス/モジュール名 モジュールの参照 シグネチャ(型) Alloyのモデルは述語論理で表現される 論理式中の変数は必ずシグネチャ(signature)を持ち、sigキーワードにより定義される sig Person{} Person(人間)という型を定義 シグネチャはオブジェクト指向言語と同じように、継承することで差分的に定義できる。 sig Man, Woman e
結論から書くと,sysinstallでTimeZoneを再設定したら直った. 要するに /etc/localtimeのコピり直し. java.util.TimeZone#getDefault()は,以下を順番に見ていき最初に見つかったものを返している(※).決定できなければGMT. システムプロパティ user.timezone 環境変数 TZ /etc/sysconfig/clockの中身 /etc/localtimeがシンボリックリンクならば,その指す先のファイルパス /etc/localtimeが通常ファイルならば,/usr/share/zoneinfo以下の中身が一致するファイルのファイルパス 今までは5. で決定できていたのが, 何かの理由で /etc/localtimeと/usr/share/zoneinfo/Asia/Tokyoが 一致しなくなってたために決定できず,GMTが
石尾 隆 (ishio .AT. ist.osaka-u.ac.jp) December 6, 2007 last updated July 12, 2006 created このメモは,Windows 環境で Soot を使って Java プログラムを解析する方法について 経験に基づいて記述しています. このメモは書きかけです.内容は随時変更される可能性があります. もし,誤りや疑問などありましたら,ご指摘いただけると幸いです. このメモでは,Soot の機能全体を網羅するつもりはありませんが, プログラム解析処理を実装するにあたっての Soot から提供されるデータとか, 使っていて得られた経験を随時蓄積していくつもりです. 目次 Soot とは Soot のインストール Soot の実行 Soot の大まかな構造 Soot に機能を追加して実行する Soot の細かい情報 Java
sel.ist.osaka-u.ac.jp/~kusumoto
第2回ソフトウェア信頼性研究会 2005年6月6日-7日,富山 招待講演 講演内容 第一章:ソフトウェア信頼性工学 ・ ソフトウェア工学と信頼性工学の接点 ・ 歴史的変遷 ・ ソフトウェア信頼性モデル(NHPP モデルを中心に) 第二章:ソフトウェア信頼性モデルとその周辺 ・ モデルの選択と統一化 ・ パラメータ推定・モデル検定 第三章:その他の話題 ・ アーキテクチャ(モジュール)モデル 第四章:信頼性評価ツール ・ 既存の信頼性評価ツール ・ 信頼性評価ツール SRATS の開発 第五章:メトリクスに基づいたソフトウェア信頼性モデル ・ 共変量によるメトリクスデータの表現(比例強度モデル) ・ 多次元ソフトウェア信頼性モデル 第六章:今後の展望 ソフトウェア信頼性評価 における最近の話題 広島大学大学院工学研究科 情報工学専攻 ソフトウェア信頼性工学講座 システム信頼性工学教育科
コードクローンとは コードクローンとはソースコード中での類似または一致した部分を表します. コードクローンは,「コピーとペースト」によるプログラミングや,意図的に同一処理を繰り返して書くことにより,プログラムテキスト中に作りこまれます. 例えば,約20年間保守されている,ある大規模ソフトウェアシステム(約100万行,2000個のモジュールから構成されている)では,約半数のモジュールに何らかのコードクローンが存在していることが確認されています. コードクローンの弊害 一般的に,コードクローンはソフトウェアの保守を困難にする要因の一つである,といわれています. 例えば,あるコードクローン上にフォールトが発見された場合に,開発者はそれと対応する全てのコードクローンを確認して,必要があれば全てのコードクローンに同様の修正を行う必要があるからです. 特に大規模システムでは,チームによる開発が通常行わ
要は僕のsiteinit.lとか.xyzzyの抜粋その他ていうかメモです.ご参考になれば幸い. とりあえず全然整理出来ていませんが,そのうち何とかします… リンク キーバインド migemo xyzzy / html+-modeでTABキーで補完しない いろいろ URLのみにて失礼します. 本家 http://www.jsdlab.co.jp/~kamei/ wiki http://xyzzy.s53.xrea.com/wiki/ Katex http://members.at.infoseek.co.jp/osuneko/xyzzy/xyzzy.html html+-mode http://www1.odn.ne.jp/ymtz/html_plus-mode.html xml-mode http://chez-sugi.net/xyzzy/xml-mod
はじめに コードクローンとは、ソースコード中の全く同じあるいは類似したコードの断片です。コードクローンが存在するソースコードは、保守が困難になることが指摘されています。 特に、大規模なソフトウェアにおいては、コードクローン問題は深刻であり、手作業では、ソースコード中にコードクローンが存在するかどうかをチェックすることすら困難です。 われわれ研究グループでは、このような大規模なソフトウェアを対象とした、コードクローン対策を研究してきています。本ページは、その成果であるツール類を紹介しています。 関連手法・研究・技術 CloneWarrior 大杉直樹氏(奈良先端科学技術大学院大学 情報科学研究科 ソフトウェア工学講座)によって開発された、 コードクローンを追跡して、ソースコードを修正することを目的とするGUIベースのコードクローン分析ツール。 詳細は、CloneWarrior Webサイトを
Email: higo-www[at]cs.ist.osaka-u.ac.jp ([at] を @ に置き換えてください)
このページを最初にブックマークしてみませんか?
『http://sel.ist.osaka-u.ac.jp/』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く