トップページ⇒linux
1002コメント301KB

【Raspberry Pi】ラズベリー・パイ part25【ARM】 [無断転載禁止]©5ch.io

■ このスレッドは過去ログ倉庫に格納されています
0001login:Penguin2016/07/21(木) 21:52:01.41ID:RjD1q0kY
Raspberry Piシリーズはクレジットカードサイズのコンピュータ。いろいろな用途に使えますが
いろいろと割り切りが必要な部分もあるよ。ケースやカメラモジュールもあります(別売)
┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
┃たいせつなこと： 安定した5V電源の確保が安定動作への第一歩かも　　┃
┃ACアダプタと接続ケーブル、それぞれに十分な電流容量のものを　　　　┃
┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛
Pi3発売。802.11 b/g/nワイヤレスLAN、Bluetooth 4.1搭載
Raspberry Piシリーズを大雑把に世代分けすると
第一世代：Model A, B, B+, Zero, Compute Module (CPU: BCM2835 ARMv6 Single-core)
第二世代：Pi2　(CPU: BCM2836 ARMv7 Quad Core)
第三世代：Pi3　(CPU: BCM2387 ARMv7 Quad Core)
公式サイト：　http://www.raspberrypi.org/
wiki：　http://elinux.org/JP:R-Pi_Hub
ラインナップ ttp://www.element14.com/community/docs/DOC-68090/l/raspberry-pi-zero-pi-2-b-a-compute-module-dev-kit-comparison-chart

各種ダウンロード ttp://www.raspberrypi.org/downloads/

・SDカードには必要最低限の書き込みで運用
ハードに使うとSDはサクッと死にます。使い捨て上等！の割切りも時に必要
安定運用な状態のときにSDを複製(バックアップ)しておき、有事に備えましょう
/bootのみのROは理に適います(/bootだけはSDから移動不可、他はUSBのマスストレージに置ける)

◆販売元
Element 14　http://www.element14.com/community/community/raspberry-pi
アールエスコンポーネンツ　http://jp.rs-online.com/web/generalDisplay.html?id=raspberrypi
ModMyPi　http://www.modmypi.com/shop/

前スレ
【Raspberry Pi】ラズベリー・パイ part24【ARM】 [無断転載禁止]©2ch.net
http://hayabusa6.2ch.net/test/read.cgi/linux/1464607997/
0407login:Penguin2016/08/20(土) 00:17:42.37ID:I4BjLRUK
教材に何期待してんだか
0408login:Penguin2016/08/20(土) 01:07:40.37ID:S1mywwEA
俺も初めて触れたのはTurboだったわ
PC Computingの付録だった
0409login:Penguin2016/08/20(土) 02:08:18.22ID:k9SBbRvk
雑誌付録のturboあったね。この時はセットアップしておしまいだった。

ちゃんと？使い出したのはvineとbsdで、その後はしばらくredhat系に傾倒してたけど、ここ数年はナントカPi(ARMなアレソレ)でdebianも触るようになった。
まーやることは一緒なので何系でも構わんね　パッケージが豊富な方がちょっと楽できるかなーくらい。
0410login:Penguin2016/08/20(土) 02:16:04.21ID:v5mN8aWg
Vineも雑誌の付録に付いていたわ。
その後にKnoppixの記事が増えた記憶がある。

なんの雑誌だったっけ？
PC Japanだったかな？
0411login:Penguin2016/08/20(土) 02:41:53.47ID:hztA4FsF
>>409
最初に触ったのがターボの2.0だつた。
486DX2 16MBでsambaとqmailが軽々と動いたのには本当に驚いた。
家ではgeode nXの鯖がRAID10で動いている。そろそろ64bit化したいなあ。
0412login:Penguin2016/08/20(土) 03:43:34.42ID:9DYTAWBj
>>411
Raspberry Piはその頃のパソコンよりも
CPU性能が何倍も高性能でメモリも多いんだよな
0413login:Penguin2016/08/20(土) 04:00:56.01ID:9DYTAWBj
>>403
Ubuntuは便利だぞ
32bitARMや64bitARMのgccがapt-getで簡単に入れられる
Qemuをインストールすればbinfmtの設定が全自動で行われてて
gccのライブラリとldのシンボリックリンクを/libに張るだけで
x86のUbuntuで32bitARMや64bitARMのバイナリをx86用のバイナリのように実行できるようになる
（実際はQemuのUserモードで実行されてるだけだから速度はかなり遅いが）

実際にはsudo apt-get qemuでQemuを入れて
次のシンボリックリンクを張るだけ
sudo ln -s /usr/arm-linux-gnueabihf/lib/ld-linux-armhf.so.3 /lib
sudo ln -s /usr/arm-linux-gnueabihf/lib /lib/arm-linux-gnueabihf

でgccやg++コンパイラをapt-getでインストールしてやれば
32bitARMのバイナリを作成できるようになって普通のコマンドのように実行できるようになる
sudo apt-get install g++-arm-linux-gnueabihf

64bitのARMの場合は
sudo apt-get install qemu
sudo ln -s /usr/aarch64-linux-gnu/lib/ld-linux-aarch64.so.1 /lib
sudo ln -s /usr/aarch64-linux-gnu/lib /lib/aarch64-linux-gnu
sudo apt-get install crossbuild-essential-arm64
これだけで64bitのARMのコンパイルができて普通のコマンドのように実行できるようになる
0414login:Penguin2016/08/20(土) 04:01:19.87ID:9DYTAWBj
コンパイルは32bitのARMなら
arm-linux-gnueabihf-gcc -o hogehoge hogehoge.c
これでできるし
64bitのARMなら
aarch64-linux-gnu-gcc -o hogehoge hogehoge.c
これでできるようになる

どのアーキテクチャのバイナリかを確認するには
file hogehoge
これでどのアーキテクチャのバイナリかがわかる
例えば64bitのARMならこんな感じ
hogehoge: ELF 64-bit LSB executable, ARM aarch64, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux-aarch64.so.1, for GNU/Linux 3.7.0,

ただし、64bitのUbuntuではこれらをやるとgcc-multilibやg++-multilibが削除されるので
32bitのx86のコンパイルができなくなるので注意
0415login:Penguin2016/08/20(土) 04:07:12.80ID:9DYTAWBj
あ、間違えた、シンボリックリンクはgccやg++入れた後に張らないとダメ
0416login:Penguin2016/08/20(土) 05:16:06.37ID:vnI2lXjm
漢は黙ってGeotoo一択。
0417login:Penguin2016/08/20(土) 05:16:57.89ID:vnI2lXjm
Gentooね。
0418login:Penguin2016/08/20(土) 05:42:16.06ID:GOYteDo8
>395
Linuxがタコを大事にするところから進歩していったのは忘れたようだね。
0419login:Penguin2016/08/20(土) 05:45:15.03ID:uEb/eoGi
Slackware「…」
0420login:Penguin2016/08/20(土) 06:59:51.49ID:T+Bcxuyw
PIってもともと教育用玩具やろｗｗ

偉そうに講釈たれている奴は、何を求めているのかわからんわ。
実用的な用途には全く使えんよｗｗ
たぶんハンダゴテも握ったこと無い文系の頭でっかちが空想で語ってるのだと思うわ
0421login:Penguin2016/08/20(土) 07:18:13.47ID:YgHKI8FL
おもちゃって言えばおもちゃだけど手軽で良いじゃない
色々ベストな物は他にあるけどとりあえずこれで試してみるかって位置付けでしょ
プロトタイピング用途だし
0422login:Penguin2016/08/20(土) 07:27:01.85ID:767MjmHs
>>418
今のLinuxは企業の投資で社員が作っててコミュニティは乞食に成り下がったからな
0423login:Penguin2016/08/20(土) 07:56:42.18ID:9DYTAWBj
>>360
sshはコマンドラインのみで十分な人が、リモート接続で使うのに便利なだけだよ
直接Raspberry Piにモニタをつないでるなら全く問題ない
リモート接続でGUI使いたいならVNC使うといい
C言語の入門やPythonならテキスト編集はvimで十分
0424login:Penguin2016/08/20(土) 08:01:59.86ID:9DYTAWBj
Raspberry Piのいいところは本格的な大規模なプログラムは別として
小規模なプログラムならRaspberry Pi上で作れること
そしてすぐに試せること
バックアップを取っておけばOSを壊してしまっても
バックアップしたものを書き戻せばいいだけ
0425login:Penguin2016/08/20(土) 08:04:15.29ID:KjFBPNrM
RasPi 延べ900万台出荷、月産30台枚って圧倒的過ぎてワロタ

PandaBoard、BeagleBoard/Bone、WandBoard Solo/Quadみんな使ってきたけど、
これらSoCの評価ボードみたいなもんだったから10kも出てないんじゃないの？
0426login:Penguin2016/08/20(土) 08:04:37.02ID:767MjmHs
プログラミングならgitで外部にpushするわ
バックアップなんか要らん
04274252016/08/20(土) 08:08:48.14ID:KjFBPNrM
>>425、タイプミス、
月産30万枚です
0428login:Penguin2016/08/20(土) 08:14:00.13ID:4yNQjmo9
vimにしろ、emacs（使ったことはない）にしろ、
機能は十分だけどクセありすぎて「Windowsしか使ったことありません」な人にわけわからんだろうなぁ。
nanoなら楽かもしれんけど、こっちは普段vim使ってるから、nanoはなんかフガフガする。
0429login:Penguin2016/08/20(土) 08:27:24.00ID:uEb/eoGi
確かにな
めっちゃフガフガするよな
0430login:Penguin2016/08/20(土) 09:01:38.22ID:a7+y8ene
お前らは大野晶か
0431login:Penguin2016/08/20(土) 09:59:26.57ID:QND8whP3
>>424
VMって知ってる？
0432login:Penguin2016/08/20(土) 10:37:34.92ID:vnI2lXjm
microUSBが単なる給電のみでシリアルコンソールにならないのは地味に使いづらい。
0433login:Penguin2016/08/20(土) 10:48:05.35ID:mcXnvah+
Piのvimも癖があるから、俺はいちいちjvim入れてる。
0434login:Penguin2016/08/20(土) 11:07:19.58ID:ekADyp6Z
>>432
PC直結のUSB2.0で賄える消費電力じゃないからまあ仕方ないね。USB3.1がもっともっと一般的になれば変わるかな
0435login:Penguin2016/08/20(土) 11:26:07.36ID:uMEp5gOP
給電しか出来ないならUSB端子である意味ないよな
0436login:Penguin2016/08/20(土) 11:36:21.02ID:767MjmHs
現在最も普及している電源端子はmicroUSBなんだからあえて他のにする意味もないだろ
0437login:Penguin2016/08/20(土) 11:37:15.59ID:uMEp5gOP
>>436
初めて聞いたわそんな話
0438login:Penguin2016/08/20(土) 11:37:47.38ID:vnI2lXjm
USBは本来電源ではない。
0439login:Penguin2016/08/20(土) 11:41:11.04ID:rGqg+plg
USB扇風機：　えっ
0440login:Penguin2016/08/20(土) 11:51:12.81ID:B+K2NHqO
>>437
いや言うまでもなく明らかな事実だが
スマホがない時代から来たのか?
0441login:Penguin2016/08/20(土) 12:32:56.62ID:Qvf+MFsY
usb bcとかpdとかでぐくれ
0442login:Penguin2016/08/20(土) 12:33:39.58ID:Qvf+MFsY
ぐぐれやな
0443login:Penguin2016/08/20(土) 12:36:30.08ID:4yNQjmo9
>>433の言ってるのって最初っから入ってるvim-tinyの事じゃないの？
あれは超使いにくいよ。
0444login:Penguin2016/08/20(土) 12:40:34.83ID:4yNQjmo9
USBの規格では、本来は接続端末の許可を得ないと給電してはいけないので、
USB電源というのは規格違反なんだけど広く普及してしまった珍しい例

って、ツイートを見て、なるほどーと思った。
0445login:Penguin2016/08/20(土) 12:56:05.17ID:Qvf+MFsY
んなあほな。常時給電が基本でしょ
コネクタみれば分かるが電源が通信端子より長くて先に繋がるようになってる
0446login:Penguin2016/08/20(土) 13:03:56.73ID:4yNQjmo9
しらん。

そのコネクタは規格に合せるためでなく、常時給電できるようにした結果なんじゃないかい？
あと、繋がるようになってるって事と、給電側がそこに電気流すかどうかは別問題なんじゃないかい？
0447login:Penguin2016/08/20(土) 13:04:43.01ID:GBo4x8dj
>>445
すごいばか発見w
0448login:Penguin2016/08/20(土) 13:44:34.85ID:a7+y8ene
電位そろえてから通信端子つながんと
ヘタしたら壊れるだろうが
0449login:Penguin2016/08/20(土) 13:55:18.70ID:k6j6NMRA
充電用ケーブル

高アンペア対応のケーブルってデータ通信できないの多いよね
あれ辞めてほしいね
0450login:Penguin2016/08/20(土) 14:28:28.45ID:4yNQjmo9
USBの口が10個もあるアダプターだけど5V2Aだったりするのは
「これ、有効に使い切れる道あるのか？」と思うんだけど、
実際の所どうなの？
0451login:Penguin2016/08/20(土) 14:29:04.85ID:4yNQjmo9
>>450ですが、↑電源の話です。
0452login:Penguin2016/08/20(土) 15:28:40.54ID:GBo4x8dj
>>450
10台の合計消費電力が10W以下の機器なら問題無かろう
0453login:Penguin2016/08/20(土) 15:41:02.21ID:4yNQjmo9
>>452
すいません、クリスマスツリーの豪華な電飾くらいしか思いつきませんでした…
0454login:Penguin2016/08/20(土) 16:21:40.84ID:uEb/eoGi
>>453
何か1つ、マイナスの機器を探すんだっ
0455login:Penguin2016/08/20(土) 16:22:36.54ID:LUCT3OkG
>>432
今のUSBのメインはスマホとかの充電用で通信はおまけだからな

>>422
今の一般Linuxユーザーは無能で自分で作ることができない奴がスパー大多数だから、
必死にただクレクレ乞食をするのは正義
0456login:Penguin2016/08/20(土) 17:01:03.39ID:k9SBbRvk
>>450
小物が大量にあるときとか…　青歯のイヤホンとか腕時計とか？

出す側と貰う側がVbusの範囲内で適切に制御してれば、充電用途なら時間が長くなるだけで目的は果たせるんじゃないかな。
今まさに消費する分を吸い込むような機器だと電圧ドロップしてダメだろね
0457login:Penguin2016/08/20(土) 17:05:55.57ID:OSvMZxnq
とりあえずgitでとってきたU-Bootのソースをクロスコンパイラに食わせてできたバイナリでU-Bootが起動するところまでできた。
0458login:Penguin2016/08/20(土) 17:36:31.09ID:LUCT3OkG
お前らって、PiにつなぐUSB機器も色々自作していると思うけど
今までどんなUSB接続機器作った？
0459login:Penguin2016/08/20(土) 17:39:53.85ID:7KZY873z
マジで？逆に興味あるわ。
0460login:Penguin2016/08/20(土) 18:25:48.20ID:S1mywwEA
arduino繋いで
0461login:Penguin2016/08/20(土) 18:26:09.44ID:3NpWkROe
お前らわざと雑談して荒らしてるのか？
にわか、無知、嘘つき…
よくもまあこれだけデタラメ大会ができるもんだ
0462login:Penguin2016/08/20(土) 18:35:16.52ID:znIvSoCd
>>458
充電器
0463login:Penguin2016/08/20(土) 19:00:29.00ID:f0aRdd/o
電源…男は黙ってGPIO直結
0464login:Penguin2016/08/20(土) 19:03:24.60ID:kP4GpqxN
なんでpiはusbの周辺機器になれないの？
0465login:Penguin2016/08/20(土) 19:09:44.57ID:ekADyp6Z
>>457
ソフトも自分で組み立ててくって良いな
0466login:Penguin2016/08/20(土) 19:13:41.62ID:uk0c486Y
夏休みっていいね
0467login:Penguin2016/08/20(土) 19:15:29.95ID:ANHUSiOm
>>458
いろんなもの作った
USB Lチカ、USB GPIO、USB 紙幣識別機、USB GPS受信機、etc…

ツマランな…
0468login:Penguin2016/08/20(土) 19:39:18.57ID:fFo+sWQ8
不要なUSBメモリをRasPiの「リセットスイッチ」にする方法
http://makezine.jp/blog/2016/08/raspi_reset.html
0469login:Penguin2016/08/20(土) 19:53:58.14ID:S1mywwEA
rm -rf /
0470login:Penguin2016/08/20(土) 20:15:30.06ID:Dq7DkET7
おっ、>>467が面白そうなことしているー
0471login:Penguin2016/08/20(土) 20:33:46.65ID:ANHUSiOm
>>470
やってること自体はツマンねー事だよ

デバイスのUSB接続なんて、繋ぐデバイスとしてシリアル制御できるものを用意すれば、あとはFTDIのUSBトランシーバを使えば何でもUSBデバイスになっちまう

Pi側からはただのシリアルデバイスに見えるから、GPIOのシリアルに繋げてるのとなにも変わらない。
0472login:Penguin2016/08/20(土) 20:47:14.18ID:Dq7DkET7
なるほど、Bluetoothとかでも手前からは単純にシリアル接続に見えるのと同じだね。

ちょっとHIDデバイス製作を調べてみますわ。楽しそう。
0473login:Penguin2016/08/20(土) 21:07:41.47ID:B+K2NHqO
>>467
紙幣判別機kwsk
紙幣判別するuart接続のモジュールかなんかあるの?
0474login:Penguin2016/08/20(土) 21:19:11.02ID:k9SBbRvk
むしろPi用として考えるとspiやi2c,uartが楽に使えるからUSBにする必要がない。
色んな機材を渡り歩くモノはUSBにするメリットがある＆イロイロ面倒があるから結局ft232とかでいいやってなる。
0475login:Penguin2016/08/20(土) 21:21:54.78ID:ANHUSiOm
>>473
いんや、モジュールとかじゃなくて。
市販の紙幣識別機はたいていRS232Cか、類似のシリアル制御なのよ。
USBで繋ぎたかったから、FT232Rで繋いだだけ。
ゴメン
0476login:Penguin2016/08/20(土) 21:24:39.17ID:ANHUSiOm
「USBで繋ぎたかった」ぢゃねーな。
今どきのPCにはDB9すらついてないからUSBで繋ぐしかなかった！
てのが真相だった
0477login:Penguin2016/08/20(土) 23:57:47.89ID:oqmEm+/P
>>445
ICが起動する前にD+,D-に電圧がかからない為に、先に電源がつながる
0478login:Penguin2016/08/21(日) 01:06:57.24ID:bNp2zPAF
>>467
>USB 紙幣識別機、USB GPS受信機、
それは作ったじゃなくてraspiに繋いだだけだろ
0479login:Penguin2016/08/21(日) 06:03:35.12ID:+2t9DoVW
だったら、おれもDACに繋いでる・・・
GPIOに繋げよ！って思ってる。
0480login:Penguin2016/08/21(日) 09:35:48.16ID:I1EtKUOm
そもそもVCC・VSS浮かせる設計とかありえない
0481login:Penguin2016/08/21(日) 09:51:15.78ID:FeEcO6Ut
USB2.0のころ機器設計するにあたって仕様書調べたけど、
ネゴシエーション前は100mA以下、ネゴシエーション後500mAまでだったよ。

調べてないけどUSB3.1 PD対応ならmax100Wまで供給できるとか。
http://k-tai.watch.impress.co.jp/docs/column/keyword/747170.html
0482login:Penguin2016/08/21(日) 12:09:14.86ID:igt1/l++
USBは本来の目的超えて給電目的で使われすぎだよな
0483login:Penguin2016/08/21(日) 12:49:56.43ID:0OGGZG5R
べつにそれでもいいよ。
なにか問題があるの？
0484login:Penguin2016/08/21(日) 13:20:00.34ID:igt1/l++
別に
いちいち絡むなチンカス
0485login:Penguin2016/08/21(日) 13:22:40.24ID:0OGGZG5R
ごめん
0486login:Penguin2016/08/21(日) 14:08:07.38ID:kFVaII/E
>>479
Piユーザー、GPIOじゃありきたりすぎ接続で面白くないから、わざわざ(遊びを兼ねて)USBでって奴多いよな
俺はUSBでFlashメモリ、カメラ、HDD、WiFi、マウス、キーボードをつないだことがある
俺らPiユーザーは高い技術力あるからPiに色々な機器をUSBでつなげるよな
0487login:Penguin2016/08/21(日) 14:09:11.13ID:lxDTs3Y9
「USB」って略称はUSBメモリーの事を指す場合が多いけど、
時代が前後してスマフォの登場が先だったら電源の略称になってたんだろうなぁ
0488login:Penguin2016/08/21(日) 14:10:48.34ID:lxDTs3Y9
>>486
天才乙
0489login:Penguin2016/08/21(日) 14:13:15.35ID:0OGGZG5R
「遊びを兼ねて」って重要な部分だよね。
そういう余裕があるのってイイな。
0490login:Penguin2016/08/21(日) 14:20:35.41ID:xvu20aA+
家中のドアに開閉センサーを付けようとしたけど、zeroでも結構な価格になっちまう。
0491login:Penguin2016/08/21(日) 14:57:19.61ID:ZgoDjRsp
Orange Pi のほうがよさげ。
0492login:Penguin2016/08/21(日) 15:11:54.82ID:I1EtKUOm
普通リードスイッチあたりを使う
0493login:Penguin2016/08/21(日) 15:14:23.73ID:I1EtKUOm
ずーっと心のどこかでビクビクしてたんだろうな…

μ’ｓが有名になる度…
高坂穂乃果が名を上げる度…

アニメ一話が放送された夜も、紅白に出る前夜も、ファイナルライブの前夜も
今バレたらどうしよう、明日バレたらどうしようってずーっと不安に思いながら
何年も前のことだし、2本だけだから大丈夫なはずって言い聞かせながら眠りについたんだろうな
0494login:Penguin2016/08/21(日) 15:58:41.33ID:/SH1YaWP
>>493
みくちゃん
0495login:Penguin2016/08/21(日) 17:00:34.65ID:6ArzP77q
え、なんだよこれこわい
0496login:Penguin2016/08/21(日) 17:46:19.78ID:OGKCBkGa
>>486
もうちょっと頑張って、ビルゲイツつないでみてよ
0497login:Penguin2016/08/21(日) 18:54:50.80ID:a8Xj/SbJ
Amazonの格安ラズパイ3を買ったもんだけど、あれやっぱり詐欺だったわ。
出品者に連絡取れないし、Amazon側も出品者の規約違反を見つけたので、
全額返金という事になった。まあクレカの返金だと一旦引落ししてからの
後日返金だろうけどね。ここで他にも買ったやついるのかね？俺だけかｗ
0498login:Penguin2016/08/21(日) 19:09:02.61ID:0OGGZG5R
うわぁ、そうだったのかー。
報告サンクスです。
0499login:Penguin2016/08/21(日) 20:05:54.68ID:lxDTs3Y9
>>497のチャレンジスピリッツを讃えようじゃないか。
0500login:Penguin2016/08/21(日) 23:30:01.07ID:6PACDGtD
素人だからこのスレ見て参考というかみたいなのにしてるんですがアマゾンで買うのってそんなに危険なんですか
チャレンジって程でもないと思ってました
0501login:Penguin2016/08/21(日) 23:34:13.62ID:8D1Troxm
>>500
値段が極端に安いのは気をつけたほうがいいっていうだけ。
0502login:Penguin2016/08/21(日) 23:38:52.29ID:bNp2zPAF
>>500
マーケットプレイス知らないのか？
マケプレの販売業者はamazonじゃないから注意するのはそれ
0503login:Penguin2016/08/21(日) 23:41:22.86ID:0OGGZG5R
ほんと、そのとおり。
変に安いのと、品うす時の高騰品を避ければ大丈夫。

後者は商売の一環だけどね。
0504login:Penguin2016/08/21(日) 23:56:10.78ID:ZnNv9P+L
prime対象なら返品し放題だから
気にせず買えばいいよ
0505login:Penguin2016/08/22(月) 01:01:17.48ID:1JLdvxsg
>>500
マケプレの新規出品者が危険なだけだろ
0506login:Penguin2016/08/22(月) 07:25:25.55ID:F02E54tE
もっとリスクは色々あるんじゃね
ラズパイ本体にSDカード他とセットになってる奴を買うと、sdカードが速度やブランドの偽装品だったとかありそう
0507login:Penguin2016/08/22(月) 11:23:49.58ID:kFWZcAQ2
ラズパイでWebサーバ作るならApacheよりもnginxの方がいい？
■ このスレッドは過去ログ倉庫に格納されています