ダウンロード
Magazine
開発
アカウント
ダウンロード
Magazine
開発
ログイン
アカウント/パスワードを忘れた
アカウント作成
言語
ヘルプ
言語
ヘルプ
×
ログイン
ログイン名
パスワード
×
アカウント/パスワードを忘れた
日本語の翻訳状況
カテゴリ:
ソフトウェア
人物
PersonalForge
Magazine
Wiki
検索
OSDN
>
ソフトウェアを探す
>
外部サイト
>
SourceForge.net
>
Interval arithmetic for Ada
>
ダウンロードファイル一覧
Interval arithmetic for Ada
概要
プロジェクト概要
プロジェクトレビュー
ダウンロード
RSS
ダウンロードリスト
プロジェクト概要
ライブラリは、Ada の間隔の実装を提供します。算術演算子とリレーショナル演算子が含まれています。ライブラリは、整数と浮動小数点数の範囲間隔をサポートします。寸法の間隔もサポートされています
システム要件
オペレーティングシステム: Cygwin (MS Windows), MinGW/MSYS (MS Windows), All 32-bit MS Windows (95/98/NT/2000/XP/Vista/7), VxWorks, POSIX (Linux,BSD,Solaris など), BSD, Windows
レビュー
平均評価
0.0
投票数 0
5つ星
0
4つ星
0
3つ星
0
2つ星
0
1つ星
0
あなたの評価
レビューする
×
Interval arithmetic for Adaに対するあなたの評価
あなたの評価は?
ログインしていません。投稿を区別するために投稿者のニックネームをつけてください(ニックネームの一意性は保証されません。全く別の人も同じ名前を利用することが可能ですので本人であることの特定には利用できません。本人であることを保証したい場合にはログインして投稿を行なってください)。
ログインする
ニックネーム
総評 (30〜2000文字、必須)
長所 (0〜2000文字、任意)
短所 (0〜2000文字、任意)
ダウンロードパッケージ一覧
最新ファイル(5件)
名前
サイズ
日付
ダウンロード数
intervals_1_13.tgz
605.5 KB
2022-01-29 22:29
2
readme_intervals.txt
0.2 KB
2022-01-28 21:41
5
readme.txt
0.1 KB
2022-01-28 21:41
5
intervals.htm
70.0 KB
2022-01-28 21:41
9
readme.txt
0.7 KB
2022-01-28 21:40
2
その他全ファイル
releases
intervals_1_13.tgz
605.5 KB
2022-01-29 22:29
2
intervals_1_12.tgz
514.6 KB
2018-06-02 17:56
8
intervals_1_9.tgz
495.8 KB
2015-01-18 02:19
12
intervals_1_11.tgz
503.7 KB
2014-07-27 03:53
6
documentation
intervals.htm
70.0 KB
2022-01-28 21:41
9
units.htm
295.8 KB
2022-01-28 21:40
11
strings_edit.htm
352.7 KB
2022-01-28 21:40
5
tables.htm
44.6 KB
2022-01-28 21:40
3
ubuntu-logo.jpg
1.3 KB
2017-08-10 05:23
0
centos-logo.jpg
1.1 KB
2016-09-18 21:54
0
debian-logo.jpg
1.1 KB
2010-05-16 20:57
5
fedora-logo.jpg
1.0 KB
2010-05-16 20:41
6
units_converter.gif
37.7 KB
2007-07-08 17:51
14
gtk_unit_selection_widget.gif
8.5 KB
2007-04-24 05:18
2
gtk_unit_selection_dialog.gif
11.7 KB
2007-04-24 05:16
5
strings_edit_scale.gif
7.1 KB
2007-03-19 18:58
8
download.jpg
1.7 KB
2002-05-13 16:21
5
home.jpg
1.6 KB
2002-05-13 16:21
7
index.gif
1.0 KB
2002-05-13 16:21
7
next.gif
1.0 KB
2002-05-13 16:21
6
prev.gif
1.0 KB
2002-05-13 16:21
14
in.jpg
1.7 KB
2001-04-21 05:24
11
sources
readme_intervals.txt
0.2 KB
2022-01-28 21:41
5
test_intervals
readme.txt
0.1 KB
2022-01-28 21:41
5
intervals-test.gpr
0.3 KB
2018-07-25 01:33
2
test_float_intervals.adb
14.8 KB
2010-05-30 06:35
1
test_integer_intervals.adb
12.3 KB
2010-05-30 06:35
2
readme_units.txt
0.2 KB
2022-01-28 21:40
3
test_units
readme_units.txt
0.3 KB
2022-01-28 21:40
5
test_gtk_unit_selection.adb
15.2 KB
2020-05-29 18:26
1
units-gtk-test_gtk_unit_selection.gpr
0.8 KB
2018-07-24 23:44
2
units-test_measures.gpr
0.2 KB
2018-07-24 23:42
4
test_measures.adb
23.6 KB
2014-05-30 18:50
4
units-examples
units-converter
gtk
readme.txt
0.7 KB
2022-01-28 21:40
2
units_converter.gpr
0.8 KB
2018-07-25 01:06
2
units_converter.adb
6.8 KB
2016-10-08 16:43
3
win32
readme.txt
0.2 KB
2022-01-28 21:40
4
units_converter.RES
0.6 KB
2022-01-28 21:40
1
units_converter.adb
10.3 KB
2021-05-30 05:59
1
units_converter.rc
2.6 KB
2021-05-30 05:59
2
units_converter.gpr
0.5 KB
2021-05-30 05:58
7
units-mapper
readme.txt
0.6 KB
2022-01-28 21:40
2
units_mapper.adb
6.0 KB
2020-05-29 18:26
5
units_mapper.gpr
0.7 KB
2018-07-25 01:08
4
readme_strings_edit.txt
0.2 KB
2022-01-28 21:40
4
test_strings_edit
readme_strings_edit.txt
0.5 KB
2022-01-28 21:40
7
test_base64.adb
15.0 KB
2022-01-28 21:32
6
test_koi8.adb
2.6 KB
2019-08-02 01:40
0
test_oid.adb
3.2 KB
2019-08-02 01:40
0
test_dn.adb
6.7 KB
2019-08-02 01:40
0
test_iso_8601.adb
8.7 KB
2019-08-02 01:40
0
strings_edit-test.gpr
2.5 KB
2019-07-29 04:17
3
test_itu_t61.adb
3.6 KB
2019-06-23 20:36
0
test_iso_8859_9.adb
3.2 KB
2018-11-04 20:27
0
test_macos_roman.adb
2.6 KB
2018-11-04 20:27
2
test_radix50.adb
2.9 KB
2018-11-04 20:27
0
test_string_streams.adb
10.3 KB
2018-11-04 20:27
2
test_windows_1250.adb
3.2 KB
2018-11-04 20:27
1
test_windows_1251.adb
2.7 KB
2018-11-04 20:27
0
test_windows_1252.adb
3.2 KB
2018-11-04 20:27
0
test_windows_1253.adb
3.5 KB
2018-11-04 20:27
0
test_windows_1254.adb
3.3 KB
2018-11-04 20:27
0
test_windows_1255.adb
3.5 KB
2018-11-04 20:27
0
test_windows_1256.adb
2.6 KB
2018-11-04 20:27
0
test_windows_1257.adb
3.5 KB
2018-11-04 20:27
0
test_windows_1258.adb
3.4 KB
2018-11-04 20:27
0
test_iso_8859_10.adb
3.2 KB
2018-11-04 20:27
0
test_iso_8859_2.adb
3.2 KB
2018-11-04 20:27
0
test_iso_8859_3.adb
3.4 KB
2018-11-04 20:27
0
test_iso_8859_4.adb
3.2 KB
2018-11-04 20:27
0
test_iso_8859_5.adb
3.2 KB
2018-11-04 20:27
0
test_iso_8859_6.adb
3.4 KB
2018-11-04 20:27
0
test_iso_8859_7.adb
3.3 KB
2018-11-04 20:27
0
test_iso_8859_8.adb
3.3 KB
2018-11-04 20:27
0
test_chacha20.adb
16.2 KB
2018-08-04 18:20
0
strings_edit-utf8-categorization_generator.adb
20.8 KB
2018-07-29 18:44
2
strings_edit-utf8-mapping_generator.adb
16.0 KB
2018-07-29 18:44
5
test_strings_edit.adb
34.6 KB
2016-04-08 05:44
4
UnicodeData.txt
1.0 MB
2008-01-12 23:14
26
readme_tables.txt
0.2 KB
2022-01-28 21:40
2
test_tables
readme_tables.txt
0.2 KB
2022-01-28 21:40
1
tables-test.gpr
0.6 KB
2018-07-24 23:32
4
test_tables.adb
7.0 KB
2016-04-08 05:44
3
test_tables_check_matched.adb
2.0 KB
2010-06-24 03:15
2
test_tables_check_spelling.adb
2.5 KB
2010-06-24 03:15
4
test_tables_names.ads
2.1 KB
2010-06-24 03:15
9
test_tables_table.ads
1.9 KB
2010-06-24 03:15
2
strings_edit.gpr
12.9 KB
2021-01-04 06:30
2
strings_edit-streams-generic_integer.adb
7.6 KB
2020-11-29 18:13
2
strings_edit-streams-generic_modular.adb
5.4 KB
2020-11-29 18:13
1
strings_edit-streams-generic_unsigned.adb
5.6 KB
2020-11-29 18:13
4
strings_edit-quoted.ads
4.0 KB
2020-08-30 21:39
1
measures_gtk_edit.adb
34.1 KB
2020-05-29 18:26
5
measures_gtk_edit-dialogs.adb
10.4 KB
2020-05-29 18:26
11
measures_gtk_edit-gentry.adb
16.4 KB
2020-05-29 18:26
9
measures_gtk_edit-gentry-cell_renderer.adb
21.2 KB
2020-05-29 18:26
6
strings_edit-utf8-maps.adb
66.8 KB
2020-05-29 18:26
4
strings_edit-chacha20.adb
20.7 KB
2020-05-29 18:26
3
strings_edit-chacha20-aead.adb
8.8 KB
2020-05-29 18:26
0
strings_edit-chacha20-aead.ads
3.7 KB
2020-05-29 18:26
2
strings_edit-iso_8601.adb
26.8 KB
2020-05-29 18:26
0
strings_edit-utf8-blocks.ads
15.6 KB
2020-05-29 18:26
6
strings_edit-utf8-maps.ads
22.2 KB
2020-05-29 18:26
3
strings_edit-integer_edit.ads
7.0 KB
2020-01-03 01:36
13
strings_edit-streams.adb
4.6 KB
2019-09-14 20:11
4
strings_edit-utf8-maps-constants.ads
4.5 KB
2019-09-14 20:11
6
tables.adb
13.2 KB
2019-09-14 20:11
9
tables.ads
11.1 KB
2019-09-14 20:11
5
tables-names.adb
11.3 KB
2019-09-14 20:11
5
tables-names.ads
5.4 KB
2019-09-14 20:11
4
tables.gpr
7.5 KB
2019-08-20 18:27
2
strings_edit-distinguished_names.adb
50.5 KB
2019-08-02 01:40
0
strings_edit-float_edit.adb
19.3 KB
2019-08-02 01:40
1
strings_edit-object_identifiers.adb
7.4 KB
2019-08-02 01:40
0
strings_edit-text_edit.adb
6.9 KB
2019-08-02 01:40
2
strings_edit-base64.adb
15.2 KB
2019-08-02 01:40
8
strings_edit-base64.ads
7.7 KB
2019-08-02 01:40
5
strings_edit-distinguished_names.ads
14.8 KB
2019-08-02 01:40
0
strings_edit-iso_8601.ads
5.3 KB
2019-08-02 01:40
0
strings_edit-object_identifiers.ads
5.6 KB
2019-08-02 01:40
0
strings_edit-utf8-itu_t61.adb
13.4 KB
2019-06-23 20:36
0
strings_edit-utf8-itu_t61.ads
4.2 KB
2019-06-23 20:36
0
strings_edit-long_floats.ads
2.0 KB
2019-06-23 20:36
0
strings_edit-utf8-windows_1258.adb
19.5 KB
2018-11-04 20:27
0
strings_edit-chacha20-poly1305.adb
16.2 KB
2018-11-04 20:27
1
strings_edit-utf8-iso_8859_10.adb
17.0 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_2.adb
17.0 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_3.adb
16.4 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_4.adb
17.0 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_5.adb
17.0 KB
2018-11-04 20:27
1
strings_edit-utf8-iso_8859_6.adb
12.7 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_7.adb
16.7 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_8.adb
13.6 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_9.adb
17.0 KB
2018-11-04 20:27
0
strings_edit-utf8-koi8.adb
18.5 KB
2018-11-04 20:27
0
strings_edit-utf8-macos_roman.adb
18.7 KB
2018-11-04 20:27
0
strings_edit-utf8-radix50.adb
9.3 KB
2018-11-04 20:27
0
strings_edit-utf8-recoding_streams.adb
13.1 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1250.adb
19.8 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1251.adb
20.4 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1252.adb
10.3 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1253.adb
18.9 KB
2018-11-04 20:27
1
strings_edit-utf8-windows_1254.adb
19.6 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1255.adb
18.3 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1256.adb
18.7 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1257.adb
19.3 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_10.ads
4.3 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_2.ads
4.2 KB
2018-11-04 20:27
1
strings_edit-utf8-iso_8859_3.ads
4.2 KB
2018-11-04 20:27
1
strings_edit-utf8-iso_8859_4.ads
4.2 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_5.ads
4.2 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_6.ads
4.2 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_7.ads
4.2 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_8.ads
4.2 KB
2018-11-04 20:27
0
strings_edit-utf8-iso_8859_9.ads
4.2 KB
2018-11-04 20:27
1
strings_edit-utf8-koi8.ads
3.6 KB
2018-11-04 20:27
0
strings_edit-utf8-macos_roman.ads
3.7 KB
2018-11-04 20:27
0
strings_edit-utf8-radix50.ads
3.3 KB
2018-11-04 20:27
0
strings_edit-utf8-recoding_streams.ads
5.4 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1250.ads
4.3 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1251.ads
4.3 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1252.ads
4.3 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1253.ads
4.3 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1254.ads
4.3 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1255.ads
4.3 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1256.ads
3.7 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1257.ads
4.3 KB
2018-11-04 20:27
0
strings_edit-utf8-windows_1258.ads
4.3 KB
2018-11-04 20:27
0
strings_edit-chacha20.ads
10.5 KB
2018-08-03 17:21
0
strings_edit-chacha20-poly1305.ads
4.9 KB
2018-08-03 17:21
1
intervals.gpr
0.8 KB
2018-07-25 01:33
3
units.gpr
1.9 KB
2018-07-25 01:03
12
units-gtk.gpr
1.3 KB
2018-07-24 23:42
6
measures_gtk_edit-dialogs.ads
6.7 KB
2016-07-21 14:53
6
measures_generic_edit.adb
64.5 KB
2016-04-09 16:59
6
measures_generic_edit.ads
11.2 KB
2016-04-09 16:59
7
units-utf8_edit.adb
6.4 KB
2016-04-09 16:59
1
intervals-measures.adb
21.6 KB
2016-04-09 04:38
4
strings_edit-integer_edit.adb
8.5 KB
2016-04-08 05:44
3
strings_edit-lexicographical_order.adb
6.6 KB
2016-04-08 05:44
2
strings_edit-utf8.adb
10.4 KB
2016-04-08 05:44
5
strings_edit-utf8-integer_edit.adb
7.7 KB
2016-04-08 05:44
5
strings_edit-utf8-subscript.adb
4.4 KB
2016-04-08 05:44
5
strings_edit-utf8-wildcards.adb
10.9 KB
2016-04-08 05:44
4
strings_edit-utf8-wildcards.ads
3.7 KB
2016-04-08 05:44
4
strings_edit-streams-generic_integer.ads
3.6 KB
2016-04-08 05:44
4
strings_edit-streams-generic_modular.ads
3.6 KB
2016-04-08 05:44
2
strings_edit-streams-generic_unsigned.ads
3.7 KB
2016-04-08 05:44
3
strings_edit-streams-integers_32.ads
2.1 KB
2014-11-22 18:03
8
strings_edit-streams-integers_64.ads
2.1 KB
2014-11-22 18:03
2
strings_edit-streams-integers.ads
2.0 KB
2014-11-22 18:03
4
strings_edit-streams-naturals.ads
2.0 KB
2014-11-22 18:03
2
strings_edit-streams-unsigneds_32.ads
2.1 KB
2014-11-22 18:03
7
strings_edit-streams-unsigneds_64.ads
2.1 KB
2014-11-22 18:03
3
intervals-floats.ads
11.8 KB
2014-06-07 03:53
3
strings_edit-float_edit.ads
9.6 KB
2014-06-07 02:10
4
strings_edit-integers-subscript.ads
2.0 KB
2014-06-07 02:10
5
strings_edit-integers-superscript.ads
2.0 KB
2014-06-07 02:10
4
measures_gtk_edit.ads
11.8 KB
2014-05-30 18:50
1
measures_gtk_edit-gentry.ads
10.6 KB
2014-05-30 18:50
2
measures_gtk_edit-gentry-cell_renderer.ads
14.2 KB
2014-05-30 18:50
5
units.adb
6.7 KB
2014-05-30 18:50
3
units.ads
5.9 KB
2014-05-30 18:50
9
measures_irregular.ads
9.7 KB
2013-04-27 17:10
5
strings_edit-utf8-wildcards-case_insensitive.adb
2.9 KB
2012-10-13 18:55
1
strings_edit-utf8-wildcards-case_insensitive.ads
2.5 KB
2012-10-13 18:55
6
strings_edit-lexicographical_order.ads
3.4 KB
2012-04-02 21:32
2
strings_edit-streams.ads
4.7 KB
2012-02-11 22:23
1
intervals-measures.ads
15.5 KB
2012-01-22 04:44
4
measures_universal_edit.ads
10.8 KB
2011-03-19 21:42
3
measures_utf8_edit.adb
4.3 KB
2011-03-19 21:42
8
measures_utf8_edit.ads
10.6 KB
2011-03-19 21:42
2
intervals-floats.adb
16.4 KB
2010-04-14 18:21
0
strings_edit.adb
7.9 KB
2009-12-26 18:24
6
measures_universal_edit.adb
4.7 KB
2009-08-07 16:24
6
strings_edit.ads
13.0 KB
2009-05-09 05:14
6
strings_edit-fields.adb
4.7 KB
2009-04-22 04:03
1
strings_edit-fields.ads
4.6 KB
2009-04-22 04:03
3
strings_edit-floats.ads
2.0 KB
2009-04-22 04:03
2
strings_edit-generic_scale.adb
3.9 KB
2009-04-22 04:03
6
strings_edit-generic_scale.ads
4.1 KB
2009-04-22 04:03
4
strings_edit-integers.ads
2.0 KB
2009-04-22 04:03
5
strings_edit-quoted.adb
5.8 KB
2009-04-22 04:03
3
strings_edit-roman_edit.adb
7.8 KB
2009-04-22 04:03
7
strings_edit-roman_edit.ads
5.8 KB
2009-04-22 04:03
4
strings_edit-utf8.ads
7.3 KB
2009-04-22 04:03
1
strings_edit-utf8-categorization.adb
55.9 KB
2009-04-22 04:03
3
strings_edit-utf8-categorization.ads
5.6 KB
2009-04-22 04:03
3
strings_edit-utf8-handling.adb
5.8 KB
2009-04-22 04:03
6
strings_edit-utf8-handling.ads
4.4 KB
2009-04-22 04:03
4
strings_edit-utf8-integer_edit.ads
6.9 KB
2009-04-22 04:03
2
strings_edit-utf8-mapping.adb
101.0 KB
2009-04-22 04:03
2
strings_edit-utf8-mapping.ads
3.4 KB
2009-04-22 04:03
1
strings_edit-utf8-subscript.ads
4.4 KB
2009-04-22 04:03
6
strings_edit-utf8-subscript-integer_edit.ads
7.5 KB
2009-04-22 04:03
2
strings_edit-utf8-superscript.adb
6.1 KB
2009-04-22 04:03
8
strings_edit-utf8-superscript.ads
4.4 KB
2009-04-22 04:03
3
strings_edit-utf8-superscript-integer_edit.ads
7.4 KB
2009-04-22 04:03
5
measures.adb
8.3 KB
2008-07-06 17:51
4
intervals-integers.ads
11.8 KB
2008-07-06 16:53
3
measures_derived.ads
4.8 KB
2008-07-06 00:19
5
float_measures.ads
1.9 KB
2007-10-13 17:13
6
float_measures_derived.ads
2.0 KB
2007-10-13 17:13
6
float_measures_edit.ads
2.1 KB
2007-10-13 17:13
4
float_measures_elementary_functions.ads
2.0 KB
2007-10-13 17:13
1
float_measures_irregular.ads
2.0 KB
2007-10-13 17:13
3
float_measures_universal_edit.ads
2.1 KB
2007-10-13 17:13
5
float_measures_utf8_edit.ads
2.1 KB
2007-10-13 17:13
1
gtk-float_measures_cell_renderer.ads
2.0 KB
2007-10-13 17:13
0
gtk-float_measures_dialogs.ads
2.1 KB
2007-10-13 17:13
6
gtk-float_measures_edit.ads
2.1 KB
2007-10-13 17:13
4
gtk-float_measures_entry.ads
2.1 KB
2007-10-13 17:13
3
measures.ads
11.3 KB
2007-10-13 17:13
3
measures_edit.adb
6.7 KB
2007-10-13 17:13
1
measures_edit.ads
11.8 KB
2007-10-13 17:13
4
measures_elementary_functions.adb
8.0 KB
2007-10-13 17:13
3
measures_elementary_functions.ads
5.8 KB
2007-10-13 17:13
2
measures_table_of_integer.ads
2.0 KB
2007-10-13 17:13
0
measures_table_of_measure.ads
2.0 KB
2007-10-13 17:13
4
units-base.ads
2.6 KB
2007-10-13 17:13
1
units-constants.ads
2.9 KB
2007-10-13 17:13
2
units-edit.adb
5.9 KB
2007-10-13 17:13
8
units-edit.ads
2.8 KB
2007-10-13 17:13
4
units-utf8_edit.ads
2.7 KB
2007-10-13 17:13
1
float_interval_measures.ads
2.1 KB
2007-07-28 05:03
1
integer_intervals.ads
2.0 KB
2006-10-08 21:34
2
intervals.adb
4.9 KB
2006-10-08 21:34
3
intervals.ads
4.1 KB
2006-10-08 21:34
7
intervals-integers.adb
13.5 KB
2006-10-08 21:34
6
float_intervals.ads
2.0 KB
2006-10-08 21:34
3