Valaについて語りませんか
■ このスレッドは過去ログ倉庫に格納されています
0001login:Penguin
2009/07/05(日) 14:31:59ID:IdyQQEIy【GNOME Live!】
Vala
http://live.gnome.org/Vala
Tutorial
http://live.gnome.org/Vala/Tutorial
【SourceForge】
ValaによるGNOMEアプリケーションのプログラミング
http://sourceforge.jp/magazine/08/12/15/0143207
005247
2009/10/16(金) 00:10:52ID:6MqmLXIAどうも。CもValaもよく知らないのですがgdkリファレンスと見比べると
C側の引数がdoubleの配列のポインタで、Vala側はdoubleなんですよ
この場合どのように宣言して渡せばよいのでしょう?
http://library.gnome.org/devel/gdk/stable/gdk-Input-Devices.html#gdk-device-get-axis
http://references.valadoc.org/gdk-2.0/Gdk.Device.get_axis.html
005348
2009/10/16(金) 03:59:17ID:csATjUPX(自分にとっては)それほど重要じゃない機能とか、そのうち実装されそうな
ものばかりなんで、Vala は既に十分な機能が実装されていると思っていい
気がする。
ただ、
・No operator or indexer overloading
・No method or constructor overloading
だけはかなり痛いな。
0054login:Penguin
2009/10/17(土) 01:48:24ID:LT64hAQXちなみにgdk_device_get_axis自体の使い方は
http://www.codase.com/search/display?file=L2dlbnRvbzIvdmFyL3RtcC9yZXBvcy9jb2Rhc2UuYy9ndGsrLTIuNi43L3dvcmsvZ3RrKy0yLjYuNy90ZXN0cy90ZXN0aW5wdXQuYw==&lang=c#
にあった。
0055login:Penguin
2009/10/21(水) 03:08:37ID:L4IsJKoL自動生成出来ないもんでしょうか?
0056login:Penguin
2009/10/21(水) 18:13:29ID:MXQIE8Bxhttp://live.gnome.org/Vala/Bindings
ここにやり方が書いてるんだけど、、、うちではうまくいかない。
$ /usr/bin/pdfinfo -v
pdfinfo version 0.12.0
Copyright 2005-2009 The Poppler Developers - http://poppler.freedesktop.org
Copyright 1996-2004 Glyph & Cog, LLC
できたら教えてください。
0057login:Penguin
2009/10/22(木) 22:03:39ID:s2CTYeqVvapiファイルの生成手順の最後にvapigenを実行してるけど、
--pkg=gdk-2.0とか、依存するpkgの指定が必要だね。
0058login:Penguin
2009/10/23(金) 00:06:30ID:m2ioZZnhthanks!
$ vapigen --library poppler-glib poppler-glib/poppler-glib.gi --pkg cairo --pkg gtk+-2.0
これでうまく行きました。
0059login:Penguin
2009/10/23(金) 03:52:26ID:icsRYQ9+なんかスゲーな
0060login:Penguin
2009/10/24(土) 16:09:46ID:KyQnbJejhttps://code.launchpad.net/lucruri
http://forja.cenatic.es/plugins/scmsvn/viewcvs.php/modules/?root=desktopsl&pathrev=108
http://code.google.com/p/xnoise/
ふたつめのりんくは 10. のコードがさんこうになる
こまかいぶぶんのはなし
http://trac.usefulinc.com/doap/wiki/Sites
http://www.vala-project.org/doc/vala-draft/interfaces.html
http://www.mail-archive.com/[email protected]/msg01652.html
これくしょんとか
http://www.mail-archive.com/[email protected]/msg03130.html
http://www.puppylinux.com/genie/strings.htm
http://mail.gnome.org/archives/svn-commits-list/2009-September/msg01357.html
http://gitorious.org/dova/
0061login:Penguin
2009/10/24(土) 18:53:22ID:KyQnbJej補足: http://git.gnome.org/cgit/vala/log
gtk+-2.0.vapi の gtk_tree_view_set_row_separator_func
binding バグ修正に注意 (バージョンvala 0.7.7)
0062login:Penguin
2009/11/04(水) 01:52:23ID:IwHtn+sQイテレーター経由でアクセスするのが面倒だな。
ほとんど必須のライブラリなのに、GLibには取り込まれそうにないな。
0063login:Penguin
2009/11/06(金) 01:21:47ID:xHV7v7spというか誰か内容を解説してくれ…0.7.7も今一分かってないし
0064login:Penguin
2009/11/06(金) 15:30:15ID:te0Yv9Ihhttp://live.gnome.org/Vala/Release
をみればいいわけだけど?
ドキュメントの翻訳でもしようかと思ったけどプロジェクトがもう少し落ち着いてからの方がいいよね?
0065login:Penguin
2009/11/07(土) 00:17:25ID:guTE5WEt翻訳は、1.0が出てからで良さそうですね。
遊びで使う分には、十分の品質なので、
ドキュメントがあれば助かります。
006663
2009/11/07(土) 03:11:53ID:yhTezjEwString templates
----------------
string name = "Vala";
stdout.printf (@"Hello, $name!\n");
stdout.printf (@"2 + 3 = $(2 + 3)\n");
Non-null cast
-------------
void main () {
string? a = "hello";
string b = (!) a;
}
Chain-up for gobject-style construction scheme
----------------------------------------------
class MyWindow : Gtk.Window {
public MyWindow () {
Object (type: WindowType.POPUP);
}
construct {
// ...
}
}
0067login:Penguin
2009/11/07(土) 23:51:36ID:93ohWCzPドキュメントを書いてもしょうがないかもね。
とりあえず周辺ツールのコンパイルができなくなっているのは
如何なものかと…
0068login:Penguin
2009/11/08(日) 10:50:54ID:82HSJzyW0069login:Penguin
2009/11/08(日) 11:03:50ID:82HSJzyWと思ったら、libgeeの問題だった。
0070login:Penguin
2009/11/16(月) 06:00:06ID:xOgX0uuqJavaとの比較
ttp://live.gnome.org/Vala/ValaForJavaProgrammers
Vala(というかGObject)のガベコレ解説
ttp://live.gnome.org/Vala/ReferenceHandling
追加された。
0071login:Penguin
2009/11/17(火) 03:13:15ID:09KgNArQを送ったきり音信不通になってるっぽいな。
うまくいけば、7.0に入ったかもしれないのに…残念
ちゃんとマージされるまで面倒見てくれる人が現れてくれ!
0072login:Penguin
2009/11/23(月) 17:58:45ID:W0dlOsETgit kara totte kite build suru.
sikasi vala build on windows tte dou yatten noka wake wakame...
0073login:Penguin
2009/11/28(土) 16:57:31ID:RXaAAVqp$ sudo apt-cache showpkg valac (confarm vala-0.7.0 > valac ...)
$ sudo apt-get install valac
$ git clone git://git.gnome.org/vala
$ cd vala
$ ./autogen.sh --prefix=/usr; make; sudo make install
0074login:Penguin
2009/11/28(土) 17:01:26ID:RXaAAVqpVala 0.7.6 <= ubuntu 9.10
Vala 0.7.9 <= git repository
0075login:Penguin
2009/12/02(水) 03:57:38ID:VTtWLB6g本家のページにCharacter Sampleが追加されたけど、
string は unowned しないと丸ごとコピーされちゃんうんだよね。
int main()
{
string test = "hoge";
string copy1 = test;
unowned string copy2 = test;
stdout.printf("%p\n", test);
stdout.printf("%p\n", copy1);
stdout.printf("%p\n", copy2);
return 0;
}
↓
0x9f667d0
0x9f667e0
0x9f667d0
とするとよく分かる。
0076login:Penguin
2009/12/05(土) 17:02:41ID:gmW717rEhttp://nibble.develsec.org/?cat=7
radare2 ga jimi ni subarasii ...
0077login:Penguin
2009/12/06(日) 19:17:44ID:Ly6v7DBGwhat's the [SimpleType]?
i first looking it ...
0078login:Penguin
2009/12/07(月) 18:43:54ID:VTAkmaDu$ ./autogen.sh --prefix=/usr --enable-vapigen
$ make
$ make install
0079login:Penguin
2009/12/07(月) 19:10:53ID:obEYb5JWppaあるよ
https://launchpad.net/~vala-team/+archive/ppa
0080login:Penguin
2009/12/07(月) 23:22:44ID:hzy1fvm374と別人だけどサンクス。うおー便利だ
0081login:Penguin
2009/12/08(火) 03:59:32ID:zChQtxr1なかなかムズいのー
Semanticにも対応させたいし、まぁぼちぼちやっていくしかないか。
0082login:Penguin
2009/12/13(日) 19:50:40ID:BMvvMM6L0083login:Penguin
2009/12/20(日) 16:13:54ID:0O/mIIzOVala 0.7.9
released on December 19, 2009
Changes
* Support array and string slicing.
* Add --symbols commandline option.
* Add avahi-gobject bindings (Sebastian Noack).
* Add ccss-1 bindings (Ali Sabil).
* Add libarchive bindings (Julian Andres Klode).
* Add libmagic bindings (Jens Georg).
* Add readline bindings (Jukka-Pekka Iivonen).
* Add twitter-glib-1.0 bindings (Adrien Bustany).
* Many bug fixes and binding updates.
git repositoryにはあったようだけれど、
公式?が更新されてWindows版バイナリもDL出来る状態だったので一応報告
0084login:Penguin
2009/12/21(月) 02:33:26ID:2kmz3FOO* Support array and string slicing.
これはどういうことだ?
0085login:Penguin
2009/12/21(月) 02:47:50ID:2kmz3FOO// slices
t = s[2:4];
assert (t.length == 2);
assert (t[0] == 'l');
assert (t[1] == 'l');
っていうことだな。
0086login:Penguin
2009/12/27(日) 19:03:24ID:nUx8bWnYt of `null'
window.destroy.connect (Gtk.main_quit);
^^^^^^^^^^^^^^^^^^^^^^
gtk-button.vala:10.5-10.26: error: The name `connect' does not exist in the cont
ext of `null'
button.clicked.connect ((source) => {
^^^^^^^^^^^^^^^^^^^^^^
Compilation failed: 2 error(s), 0 warning(s)
0.5.4 でコンパイルしてみたらエラーが出て通らなかた
イベントハンドルは += ではなくてなるべく connect を
使うのが推奨されてる…とかどこかで読んだような記憶があるようなないような…
0087login:Penguin
2010/01/01(金) 00:06:48ID:sfh07iOR今年こそ1.0がリリースされますように( ̄人 ̄)
0088login:Penguin
2010/01/05(火) 02:22:15ID:68YcuKLZしかし古いバージョン使ってるな。今の最新は0.7.9なんでそれで
一回コンパイルしてみ。
0089login:Penguin
2010/01/06(水) 02:08:55ID:sJSR3xqjsimple な静的 html 出力ツール
http://entitycrisis.blogspot.com/2009/08/simple-pygame-wrapper.html
http://billmill.org/multi_line_lambdas.html
http://mail.python.org/pipermail/python-dev/2006-February/060654.html
下から順に時系列で、なんとなく流れとして
0090login:Penguin
2010/01/14(木) 13:47:25ID:f9MyO6F7using System;
using System.Text.RegularExpressions;
class HelloWorld {
public static void Main() {
System.IO.StreamReader sr = new System.IO.StreamReader(@".\\hello.gs");
//内容をすべて読み込む
string gscode = sr.ReadToEnd();
//閉じる
sr.Close();
Console.WriteLine(gscode);
Regex r = new Regex(@"\(.*?\)", RegexOptions.Singleline);
System.Text.RegularExpressions.MatchCollection mc = r.Matches(gscode);
foreach (System.Text.RegularExpressions.Match m in mc)
{
//正規表現に一致したグループを表示
Console.WriteLine(m.Value);
string before = m.Value;
string after = before.Replace("\r\n", "").Replace(" ", "");
gscode = gscode.Replace(before, after);
}
Console.WriteLine(gscode);
}
}
>csc hello.cs
これと等価なコードって vala だとどう書いたらいいか
わからないんだよな…
0091login:Penguin
2010/01/14(木) 13:52:45ID:f9MyO6F7def foo(arg1: string, arg2: string): string
return arg1 + arg2
init
print foo(
"hello ",
"world"
)
print foo("hello ",
"world")
/* EOF */[indent=4]
def foo(arg1: string, arg2: string): string
return arg1 + arg2
init
print foo(
"hello ",
"world"
)
print foo("hello ",
"world")
/* EOF */
hello.gs はこんなかんじ
空白は半角に置換しないと動かないかも…
0092login:Penguin
2010/01/14(木) 13:58:24ID:f9MyO6F70093login:Penguin
2010/01/30(土) 14:42:11ID:0hh2Dj8z次期 lightwave はQTなんだな...
COLLADAにBulletにPython載るとか
C単体でトランスレータで組むのは
厳しいというが現状という...
0094login:Penguin
2010/02/11(木) 08:53:33ID:OAcrTRrZvapi is simple. or vapi maintenance is hard and hard ...
0095login:Penguin
2010/02/13(土) 17:13:42ID:fQoCmgtg乙
0096login:Penguin
2010/04/02(金) 00:33:45ID:rvSB9vMKexperimental な機能以外はバグフィックスが主なリリースだな。
0097login:Penguin
2010/04/16(金) 19:47:55ID:/6r9tkwKexport GOROOT=$HOME/go
export GOARCH=386
export GOOS=linux
$hg clone -r release https://go.googlecode.com/hg/ $GOROOT
$cd $GOROOT/src
$./all.bash
Note: fedora case selinux error:
http://groups.google.com/group/golang-nuts/browse_thread/thread/5ffcecb0814b01b8
$hg clone https://gobuild.googlecode.com/hg/ gobuild
$make
error: gobuild.go:62: undefined: os.Dir
edit: os.Dir -> os.PathInfo
$make
$cp gobuild $HOME/bin
$hg clone https://gopages.googlecode.com/hg/ gopages
$cd gopages
$gobuild gopages.go
$cp gopages $HOME/bin
$gobuild main.go
$./main
gopages serving on :9999
0099login:Penguin
2010/04/21(水) 01:15:16ID:nUefU5z/意外とすっきり書けないな。
一番シンプルに書こうとするとどんな感じになるかな?
0100login:Penguin
2010/04/21(水) 01:41:59ID:nUefU5z/var file = new MappedFile ("hoge.txt", false);
var text = (string) file.get_contents ();
でいいかな。
0101login:Penguin
2010/04/22(木) 23:52:50ID:Nm7c6dz1http://gitorious.org/lethal-works/valagtkdoc/blobs/master/sectionsgenerator.vala
--pkg vala-1.0
参考になるかも
0102login:Penguin
2010/04/25(日) 01:04:30ID:j8R9B01zやっぱりMappedFileで良さそうだ。
0103login:Penguin
2010/05/01(土) 18:58:09ID:lTmE6Ym2ちょっと遅いけど。
http://live.gnome.org/Vala/GIOSamples
こっちの方が、順次データを読み取っていく分でかいファイルを扱う時に良さげ。
0104login:Penguin
2010/06/08(火) 02:51:18ID:RC5oVszEint[] a = { };
a += 1;
a += 1;
}
これをCに変換すると
static void _vala_array_add1 (gint** array, int* length, int* size, gint value) {
if ((*length) == (*size)) {
*size = (*size) ? (2 * (*size)) : 4;
*array = g_renew (gint, *array, *size);
}
(*array)[(*length)++] = value;
}
static void _vala_array_add2 (gint** array, int* length, int* size, gint value) {
if ((*length) == (*size)) {
*size = (*size) ? (2 * (*size)) : 4;
*array = g_renew (gint, *array, *size);
}
(*array)[(*length)++] = value;
}
と全く同じ関数が2つ出来るのは無駄過ぎる…。バグだよなぁ。
0105login:Penguin
2010/06/08(火) 23:45:06ID:RC5oVszE今年中に 1.0 のリリースもあるかな。
0106login:Penguin
2010/06/22(火) 00:49:34ID:TjdwcnPd0107login:Penguin
2010/07/22(木) 10:29:41ID:14B/bjH40.9.3 リリース記念上げ!
0108login:Penguin
2010/08/01(日) 23:45:56ID:9Z4W30qB0109login:Penguin
2010/08/11(水) 09:30:49ID:biiTT6x90110login:Penguin
2010/08/16(月) 13:38:29ID:+2cG0APL0111login:Penguin
2010/09/04(土) 09:53:44ID:QHFWA8090112login:Penguin
2010/09/06(月) 23:38:41ID:me8osAkX0113login:Penguin
2010/09/06(月) 23:47:04ID:me8osAkX>>109
リファレンスカウントだよ。
>>111
インライン関数は、-O3でコンパイルすればコンパイラの判断で小さい関数は
インラインになるから、特別必要ではないかな。
マクロは使わずにジェネリックスを使うべし。
インラインアセンブラもCの関数内に書いて、Valaにインポート(.vapi)するので
いいんじゃない?
0114login:Penguin
2010/09/08(水) 15:47:24ID:0olPHVFEValaの言語仕様見たら、これでもうC++,C#いらないんじゃない?
0115login:Penguin
2010/09/10(金) 00:42:35ID:CnYQUcwLいらなくなるって事はないだろうけど、C++,C#の良いとこ取りで
ある事には違いない。
それに、C++はライブラリを作ってもC++からしか(直接)呼び出せないけど、
Valaでクラスライブラリを作ってもCからも使えるのが最高。
0116login:Penguin
2010/09/10(金) 08:06:49ID:luUlP4sjsjis->utf8で、iconvと同じで〜とかが入ってると死ぬ
0117login:Penguin
2010/09/11(土) 01:16:19ID:m+SVumir0118login:Penguin
2010/09/11(土) 01:25:28ID:80Xsc9fhValaで文字コードの変換をやった事がないんでよく分からん。
まぁ、基本UTF-8だからね…
>>117
まったく必要ないよ。C#にそっくりだけど、C#を知っている必要もないし。
0119login:Penguin
2010/09/11(土) 21:16:11ID:bAfz4iHt複数のファイルにわけたくなった場合の分割コンパイルってどうやるの?
0120login:Penguin
2010/09/11(土) 23:23:42ID:80Xsc9fh・必ず valac -C *.vala(全部のValaソース) を実行する
valac は内容が同じだと *.c のタイムスタンプを更新しない
それに、必ず全Valaソースを valac に掛けないと、ちゃんと*.cが出来ない
・更新された *.c をCコンパイラでコンパイルする
その時にヘッダーファイルはいらないようになってる。
(使っているライブラリのはいる)
・で、出来た *.o をリンクする
って感じかな。
0121login:Penguin
2010/09/12(日) 18:31:31ID:FtkVyF/Q0122login:Penguin
2010/09/13(月) 21:43:56ID:sTXZUSGC感覚的には、g++よりはだいぶ早いよ。
だた巨大なプロジェクトだとどうなるか分からん。
0123login:Penguin
2010/09/14(火) 22:01:58ID:q84SH/q/array.sort(〜);
ってやらせてほしい。最新版だとできるのかもしれないけど。
0124login:Penguin
2010/09/14(火) 23:46:50ID:v9kG5jgmダサイんで、その辺りでもっとモダンなAPIを使いたかったら
ttp://live.gnome.org/Libgee
がいいよ。
0125login:Penguin
2010/09/14(火) 23:52:59ID:q84SH/q/0126login:Penguin
2010/09/15(水) 00:29:40ID:GF+yTf6g標準でついてくる事はなさそう。
Array がもっと洗練されたインターフェースになれば必要なくなるのに。
0127login:Penguin
2010/09/15(水) 23:28:28ID:e37Wp/kJ0128login:Penguin
2010/09/16(木) 07:53:18ID:aySYUnZ70129login:Penguin
2010/09/18(土) 01:37:41ID:8ySMdkovprintf にファイル名と行番号を一緒に表示したい時とかあっても、
Vala は __FILE__ や __LINE__ とかが使えない。そこで、
message ("hoge");
ってやれば、
** Message: hoge.vala:15: hoge
みたいに、ファイル名と行番号が表示されるよ。
0130login:Penguin
2010/09/18(土) 02:14:47ID:8ySMdkov今一番デカい Vala 使ったプロジェクトって何か分からないけど、
Vala 自身が結構デカいんで、>>120の速度を検証してみた。
vala-0.9.8/vala/ 以下に *.vala が145ファイルあって、全く
依存性のない valacomment.vala を日付だけ変えて make を
したところ、valac に145ファイルを一気に渡してるけど、
その時間が10秒ぐらい掛かってた。(core2 duo 2.16GHz)
その後のビルドは gcc なんで、g++ に比べるとかなり早い。
まぁ、ちゃんと細かくライブラリに分けて valac にあまり
ファイルを渡さないようにするのが吉だな。
0131login:Penguin
2010/09/18(土) 08:03:56ID:ZMH1fM+OLog.FILEとLog.LINEでおk
0132login:Penguin
2010/09/18(土) 13:57:49ID:dKwk8Vzz0133login:Penguin
2010/09/19(日) 00:09:32ID:bLHejXEbおぉ、それは知らなんだ。ありがとう。
0134login:Penguin
2010/09/19(日) 08:12:10ID:bLHejXEb0135login:Penguin
2010/09/25(土) 06:12:27ID:auRxQl39関数だけしか自動的にインラインにならなかった。
だから、インライン関数はやっぱりValaが対応してくれないと駄目だね。
場合によっては、パフォーマンスに大きく影響する所だから早めに対応して欲しいな。
0136login:Penguin
2010/10/13(水) 01:01:14ID:uqtJdPnG0.11.0 リリース記念上げ!
0137login:Penguin
2010/10/13(水) 17:24:27ID:yOuawncH0138login:Penguin
2010/10/15(金) 10:02:51ID:vZDRagAZ脱mono&.netって流れですな。
こりゃ吉報だ
0139login:Penguin
2010/10/16(土) 13:10:02ID:ArVLh3zFおぉ、Valaが少しずつ浸透していってうれしいなぁ。
後はGTK+とWindowsの相性がもっと良くなってくれればいいんだが。
0140login:Penguin
2010/10/27(水) 01:52:27ID:uug/Y6Unなぜ 0.12 じゃないのか分からん…
0141login:Penguin
2010/10/27(水) 08:19:44ID:zAy76E0jそれかバージョンの上げ方を変えたとか
0142login:Penguin
2010/10/28(木) 02:52:40ID:tk8GPYzV0.11 が開発ブランチで、0.10 が安定ブランチらしい。
そんで、0.12 が 1.0 になるかもだって。
0143login:Penguin
2010/11/10(水) 00:38:44ID:ygmS3jMN基本的にバグフィックスバージョンだけど、
出力されるCのソースが綺麗になった気がする。
0144login:Penguin
2010/11/23(火) 02:17:51ID:McaRlFmivoid main()
{
string name = "焼肉定食";
for (string utf8 = name; utf8.length > 0; utf8 = utf8.next_char()) {
unichar chr = utf8.get_char();
stdout.printf("%s\n", chr.to_string());
}
}
0145login:Penguin
2010/12/05(日) 04:35:31ID:DrFQ2hQ20146login:Penguin
2010/12/05(日) 05:07:33ID:bhyZjHqe>>137で既出なんだけど、こういうGTK+のアプリを作るにはうってつけなんだよね。
0147login:Penguin
2010/12/05(日) 05:16:17ID:bhyZjHqeCに変換して g_strdup がやたら使われていたら大抵 unowned のし忘れだね。
最近 const も使えるようになったんで使ってみた。
void main()
{
const string name = "焼肉定食";
for (unowned string utf8 = name; utf8.length > 0; utf8 = utf8.next_char()) {
unichar chr = utf8.get_char();
stdout.printf("%s\n", chr.to_string());
}
}
0148login:Penguin
2010/12/13(月) 21:33:08ID:smRVrdmh0149login:Penguin
2010/12/21(火) 01:12:22ID:ABvoFodsnamespace Binary {
struct Bin {
int param0;
float param1;
}
static int main (string[] args) {
var bin = Bin ();
bin.param0 = 321;
bin.param1 = 456.0f;
try {
// 書き込み
FileUtils.set_contents ("data.bin", (string) (&bin), (ssize_t) sizeof (Bin));
// 読み込み
var file = new MappedFile ("data.bin", false);
Bin* bin_in = (Bin*) file.get_contents ();
print ("%d:%.2f\n", bin_in.param0, bin_in.param1);
} catch (Error e) {
print ("%s\n", e.message);
}
return 0;
}
}
0150login:Penguin
2010/12/30(木) 02:30:08ID:TDGgyZNrあるんで、メモリリークせずにちゃんと書こうとしたらスゲー大変。
(別に GLib が悪いという訳ではない)
Vala は C 並の速度でありながらメモリリークを気にしなくていいんで、
それだけでもすんげー便利なんだよね。
0151login:Penguin
2011/01/01(土) 00:08:35ID:I3WGYOP1今年も Vala の進化が楽しみだね。
■ このスレッドは過去ログ倉庫に格納されています