該当求人数 325 件
61~90件を表示

株式会社日立製作所
NEW
クラウドエンジニア
830~108万円
正社員
神奈川県(川崎市)
職務概要 社会と顧客の課題解決につながる事業の基盤を構築・維持するために、業務の取り纏め者として、日立グループ向けITサービスの企画立案・要件取纏、ITサービスの開発・稼働/運用移管において担当するチームを管理していただきます。 具体的には、担当するVDI(オンプレ/クラウドVDI)領域のサービスにおいて、VDI戦略と実現・達成に向け業務推進を行い、VDI領域において、New Normal、ゼロトラスト、グローバルを見据えた新しい「ワークスペースソリューション」のサービス構想、企画、開発、展開を取纏め、技術的な観点を含めて、プロジェクト、チームメンバをリード、マネジメントを行っていただきます。 職務詳細 VDI型クライアントサービスを主としたデスクトップサービス開発に関する以下業務を担当いただきます。 ・クラウド(Azure、AVD等)を中心とした最新技術動向を踏まえた、VDI型クライアントのあるべき姿、必要な機能/サービスの検討 ・自部署/他部署の推進する最新技術/サービスに関するクライアントインテグレーション方針検討、実装とりまとめ ・既存提供サービスの機能改善、機能維持、トラブルシュート 携わる事業・ビジネス・サービス・製品など ●関連するサービス、技術 Azure、AVD、Windows365、Citrix、vmware 配属組織名 ITデジタル統括本部 エンプロイーエクスペリエンス本部 エンドポイントソリューション部 配属組織について(概要・ミッション) ITデジタル統括本部は、全世界30万人以上のユーザーに対し、ITソリューションの開発と提供を通じて、日立グループの成長を支えています。 その中でもワークスペースソリューション部は、日立グループのグローバル戦略を推進するための最も基本的なOA基盤であるデスクトップサービス(FatPC/VDI)の企画、開発、運用を推進する
AWS
生成AI・LLM
Windows
Microsoft Azure
Android
育児支援制度あり
社宅・家賃補助制度あり
持ち株会制度あり
退職金制度あり
英語活用
リモート可
大規模トラフィック環境
従業員数1000名以上
NEW
クラウドエンジニア
正社員
職務概要 社会と顧客の課題解決につながる事業の基盤を構築・維持するために、業務の取り纏め者として、日立グループ向けITサービスの企画立案・要件取纏、ITサービスの開発・稼働/運用移管において担当するチームを管理していただきます。 具体的には、担当するVDI(オンプレ/クラウドVDI)領域のサービスにおいて、VDI戦略と実現・達成に向け業務推進を行い、VDI領域において、New Normal、ゼロトラスト、グローバルを見据えた新しい「ワークスペースソリューション」のサービス構想、企画、開発、展開を取纏め、技術的な観点を含めて、プロジェクト、チームメンバをリード、マネジメントを行っていただきます。 職務詳細 VDI型クライアントサービスを主としたデスクトップサービス開発に関する以下業務を担当いただきます。 ・クラウド(Azure、AVD等)を中心とした最新技術動向を踏まえた、VDI型クライアントのあるべき姿、必要な機能/サービスの検討 ・自部署/他部署の推進する最新技術/サービスに関するクライアントインテグレーション方針検討、実装とりまとめ ・既存提供サービスの機能改善、機能維持、トラブルシュート 携わる事業・ビジネス・サービス・製品など ●関連するサービス、技術 Azure、AVD、Windows365、Citrix、vmware 配属組織名 ITデジタル統括本部 エンプロイーエクスペリエンス本部 エンドポイントソリューション部 配属組織について(概要・ミッション) ITデジタル統括本部は、全世界30万人以上のユーザーに対し、ITソリューションの開発と提供を通じて、日立グループの成長を支えています。 その中でもワークスペースソリューション部は、日立グループのグローバル戦略を推進するための最も基本的なOA基盤であるデスクトップサービス(FatPC/VDI)の企画、開発、運用を推進する
830~108万円
神奈川県(川崎市)
AWS
生成AI・LLM
Windows
Microsoft Azure
Android
育児支援制度あり
社宅・家賃補助制度あり
持ち株会制度あり
退職金制度あり
英語活用
リモート可
大規模トラフィック環境
従業員数1000名以上

株式会社日立製作所

株式会社日立製作所
システムアーキテクト
950~1,080万円
正社員
神奈川県(横浜市)
【携わる事業・ビジネス・サービス・製品など】 指揮統制システムの提案及び開発事業作戦指揮を的確かつ効率的に遂行するため、各級指揮官の情勢判断、意思決定、命令指示伝達および情報交換を支援 ※参考URL:https://www.hitachi.co.jp/products/defense/#solution2 【職務概要】 インフラストラクチャー、アプリケーション、データなど、組織全体に及ぶ情報リソースの分析、設計を担当する。 そして、これらの職務を業務のプロジェクトリーダ、或いは、サブリーダとして、組織内のメンバーの進捗管理、収支・資産の管理を行う。 【職務詳細】 ・ITシステムのインフラに関する構成検討(ハードウェア/ソフトウェアメーカと連携) ・ITシステムのインフラに関する見積(概算見積、契約見積) ・ITシステムの設計/構築/試験に関するサブリーダ業務
Linux
Windows
Oracle
Unix
育児支援制度あり
社宅・家賃補助制度あり
持ち株会制度あり
退職金制度あり
英語活用
リモート可
従業員数1000名以上
システムアーキテクト
正社員
【携わる事業・ビジネス・サービス・製品など】 指揮統制システムの提案及び開発事業作戦指揮を的確かつ効率的に遂行するため、各級指揮官の情勢判断、意思決定、命令指示伝達および情報交換を支援 ※参考URL:https://www.hitachi.co.jp/products/defense/#solution2 【職務概要】 インフラストラクチャー、アプリケーション、データなど、組織全体に及ぶ情報リソースの分析、設計を担当する。 そして、これらの職務を業務のプロジェクトリーダ、或いは、サブリーダとして、組織内のメンバーの進捗管理、収支・資産の管理を行う。 【職務詳細】 ・ITシステムのインフラに関する構成検討(ハードウェア/ソフトウェアメーカと連携) ・ITシステムのインフラに関する見積(概算見積、契約見積) ・ITシステムの設計/構築/試験に関するサブリーダ業務
950~1,080万円
神奈川県(横浜市)
Linux
Windows
Oracle
Unix
育児支援制度あり
社宅・家賃補助制度あり
持ち株会制度あり
退職金制度あり
英語活用
リモート可
従業員数1000名以上

株式会社日立製作所

デクセリアルズ株式会社
研究開発(R&D)エンジニア
750~1,500万円
正社員
宮城県(多賀城市)
1.コヒーレント方式光通信のリンクレベルシミュレーション MATLABを用いたリンクレベルのシミュレーションモデル構築、変調方式の検討、復調アルゴ リズムの検討、光通信における劣化要因のモデリング、関連する標準仕様書・論文の分析を行う。 2.コヒーレント方式光通信のDSPプロトタイピング 変復調アルゴリズムの実装仕様検討、コヒーレント方式DSPの信号処理方式検討、FPGAによるプロトタイピング、AWGやPMDエミュレータ、 DSOを用いた実機評価系の構築/通信性能評価を行う。 3.設計環境整備、評価環境整備 シミュレータの保守更新、測定器の導入と保守更新を行う。 ●ご入社後のキャリアアップ ご自身のこれまでのスキルを活かし、エキスパートとして外注先と協力し光通信向け信号処理方式検討をリーディングしていただき、FPGAプロトタイピングを用いた実機評価を通じて、社内にシステムナレッジを蓄積していただきたいと考えております。さらに社外との共同研究を通じて技術力の更なる向上を図り、組織の核となるメンバーとして、将来的には完全内部設計が可能な組織の構築に貢献していただきたいです。 ●従事すべき業務の変更の範囲 変更の範囲:会社の定めるすべての業務
Matlab
持ち株会制度あり
退職金制度あり
英語活用
リモート可
フレックス勤務
年間休日120日以上
土日祝日休み
従業員数1000名以上
グローバル展開・海外拠点あり
上場企業
研究開発(R&D)エンジニア
正社員
1.コヒーレント方式光通信のリンクレベルシミュレーション MATLABを用いたリンクレベルのシミュレーションモデル構築、変調方式の検討、復調アルゴ リズムの検討、光通信における劣化要因のモデリング、関連する標準仕様書・論文の分析を行う。 2.コヒーレント方式光通信のDSPプロトタイピング 変復調アルゴリズムの実装仕様検討、コヒーレント方式DSPの信号処理方式検討、FPGAによるプロトタイピング、AWGやPMDエミュレータ、 DSOを用いた実機評価系の構築/通信性能評価を行う。 3.設計環境整備、評価環境整備 シミュレータの保守更新、測定器の導入と保守更新を行う。 ●ご入社後のキャリアアップ ご自身のこれまでのスキルを活かし、エキスパートとして外注先と協力し光通信向け信号処理方式検討をリーディングしていただき、FPGAプロトタイピングを用いた実機評価を通じて、社内にシステムナレッジを蓄積していただきたいと考えております。さらに社外との共同研究を通じて技術力の更なる向上を図り、組織の核となるメンバーとして、将来的には完全内部設計が可能な組織の構築に貢献していただきたいです。 ●従事すべき業務の変更の範囲 変更の範囲:会社の定めるすべての業務
750~1,500万円
宮城県(多賀城市)
Matlab
持ち株会制度あり
退職金制度あり
英語活用
リモート可
フレックス勤務
年間休日120日以上
土日祝日休み
従業員数1000名以上
グローバル展開・海外拠点あり
上場企業

デクセリアルズ株式会社

株式会社NTTデータ
データエンジニア
700~1,400万円
正社員
東京都
お客様企業のデータドリブンカンパニーへの変革に向けて、Teradata Vantageを活用したデータ活用基盤のデータエンジニア/クラウドエンジニア/PMとして、データ活用基盤の開発やお客様企業のデータ利活用の促進業務を実施します。 ●業務例 基本的にTeradata Vantageの活用を前提とし、またその他データ活用基盤に必要な様々な周辺製品/技術(クラウド各サービス、BI製品等)も活用して、以下のような業務を行います。 ・データ利用部門との課題定義および要件整理 ・データ活用基盤の設計・開発 ・データ活用基盤上のデータモデル設計・開発 ・データ加工処理(ETL・ELT)の設計・開発 ・データ分析を行う上で必要となるデータ可視化(BI)の設計・開発 ・AIモデルの継続的なデリバリー(MLOps)を考慮した環境の設計・開発 ・データ活用促進/データドリブン文化の定着を目的としたユーザトレーニング
AWS
BigQuery
Google Cloud Platform(GCP)
Microsoft Azure
Spark
研修・勉強会あり
海外勤務・出張あり
管理職・マネージャー候補
英語活用
機械学習・データ活用
データエンジニア
正社員
お客様企業のデータドリブンカンパニーへの変革に向けて、Teradata Vantageを活用したデータ活用基盤のデータエンジニア/クラウドエンジニア/PMとして、データ活用基盤の開発やお客様企業のデータ利活用の促進業務を実施します。 ●業務例 基本的にTeradata Vantageの活用を前提とし、またその他データ活用基盤に必要な様々な周辺製品/技術(クラウド各サービス、BI製品等)も活用して、以下のような業務を行います。 ・データ利用部門との課題定義および要件整理 ・データ活用基盤の設計・開発 ・データ活用基盤上のデータモデル設計・開発 ・データ加工処理(ETL・ELT)の設計・開発 ・データ分析を行う上で必要となるデータ可視化(BI)の設計・開発 ・AIモデルの継続的なデリバリー(MLOps)を考慮した環境の設計・開発 ・データ活用促進/データドリブン文化の定着を目的としたユーザトレーニング
700~1,400万円
東京都
AWS
BigQuery
Google Cloud Platform(GCP)
Microsoft Azure
Spark
研修・勉強会あり
海外勤務・出張あり
管理職・マネージャー候補
英語活用
機械学習・データ活用

株式会社NTTデータ

株式会社プログリット
DevOpsエンジニア
700~1,000万円
正社員
東京都(港区浜松町)
●AWSインフラ設計、構築、運用、保守 ●インフラコスト最適化 ●パフォーマンスチューニング ●アラート監視の最適化 ●インフラセキュリティの強化(Guardduty等) 【開発環境 / ツール】 ●インフラ: ・AWS(サービスの基盤システム) ・Google Cloud(主に BigQuery) ●言語: ・Terraform ・Python ・PHP ●ツール: ・Cursor ・Claude Code ・Codex ・Notion ・Slack
Terraform
Slack
AWS
PHP
Python
Google Cloud Platform(GCP)
FuelPHP
研修・勉強会あり
生成AI開発ツール導入
カジュアル面談可
英語活用
フレックス勤務
従業員数100名〜1000名未満
上場企業
DevOpsエンジニア
正社員
●AWSインフラ設計、構築、運用、保守 ●インフラコスト最適化 ●パフォーマンスチューニング ●アラート監視の最適化 ●インフラセキュリティの強化(Guardduty等) 【開発環境 / ツール】 ●インフラ: ・AWS(サービスの基盤システム) ・Google Cloud(主に BigQuery) ●言語: ・Terraform ・Python ・PHP ●ツール: ・Cursor ・Claude Code ・Codex ・Notion ・Slack
700~1,000万円
東京都(港区浜松町)
Terraform
Slack
AWS
PHP
Python
Google Cloud Platform(GCP)
FuelPHP
研修・勉強会あり
生成AI開発ツール導入
カジュアル面談可
英語活用
フレックス勤務
従業員数100名〜1000名未満
上場企業

株式会社プログリット
\ 条件に合う求人が見つかりませんか? /
エンジニア専門のアドバイザーがあなたの技術スタックに合わせた求人を個別にピックアップして提案します。

株式会社NTTデータ
データサイエンティスト
700~1,800万円
正社員
勤務地未定
テクノロジーセグメントでは、お客様のDX推進や課題解決に向けて、先進技術を活用したソリューションやサービスを提供しており、当セグメントのソリューションやサービスを開発するエンジニアを募集しています。 テクノロジーセグメント内のエンジニアを募集している下記ポジションの中から、書類上のご経験・適性を踏まえて最適なポジションをご提案いたします。 ご自身に適したポストを検討されたい方はこちらにご応募ください。 ◆テクノロジーセグメントとは NTTデータの事業領域のうち、公共・社会基盤、金融、法人分野は顧客業界特化型である一方、テクノロジーセグメントは業界横断で価値提供しています。 最新のテクノロジーを用いて、お客様の課題解決に向けて伴走している組織です。 中でも当セグメントのエンジニアは、ソリューションやサービスの企画・設計・開発・導入・運用・プロジェクトマネジメント等の様々な経験を積むことが可能です。 ◆提案ポジション例 ・データ分析・活用に向けたプラットフォームの企画・開発 ・DX推進に向けたデータサイエンティスト ・働き方改革ソリューションの企画・開発 ・ゼロトラストを前提としたセキュリティエンジニア 等
AWS
Microsoft Azure
Google Cloud Platform(GCP)
生成AI・LLM
研修・勉強会あり
管理職・マネージャー候補
英語活用
フレックス勤務
機械学習・データ活用
データサイエンティスト
正社員
テクノロジーセグメントでは、お客様のDX推進や課題解決に向けて、先進技術を活用したソリューションやサービスを提供しており、当セグメントのソリューションやサービスを開発するエンジニアを募集しています。 テクノロジーセグメント内のエンジニアを募集している下記ポジションの中から、書類上のご経験・適性を踏まえて最適なポジションをご提案いたします。 ご自身に適したポストを検討されたい方はこちらにご応募ください。 ◆テクノロジーセグメントとは NTTデータの事業領域のうち、公共・社会基盤、金融、法人分野は顧客業界特化型である一方、テクノロジーセグメントは業界横断で価値提供しています。 最新のテクノロジーを用いて、お客様の課題解決に向けて伴走している組織です。 中でも当セグメントのエンジニアは、ソリューションやサービスの企画・設計・開発・導入・運用・プロジェクトマネジメント等の様々な経験を積むことが可能です。 ◆提案ポジション例 ・データ分析・活用に向けたプラットフォームの企画・開発 ・DX推進に向けたデータサイエンティスト ・働き方改革ソリューションの企画・開発 ・ゼロトラストを前提としたセキュリティエンジニア 等
700~1,800万円
勤務地未定
AWS
Microsoft Azure
Google Cloud Platform(GCP)
生成AI・LLM
研修・勉強会あり
管理職・マネージャー候補
英語活用
フレックス勤務
機械学習・データ活用

株式会社NTTデータ

株式会社荏原製作所
データサイエンティスト
720~1,570万円
正社員
神奈川県(藤沢市)
CMP装置をはじめ、ドライ真空ポンプ、排ガス処理装置などの半導体製造装置およびコンポーネント製品から取得されるデータを活用した自社プラットフォーム(「X-bility」および「EBANET3」等)の開発・強化業務を担当いただきます。 開発チーム/プロジェクトリーダーとして、装置予知保全やデータ基板・アプリケーションの事業化・顧客への価値提供を推進頂けます。 ・装置・コンポーネント群から収集される各種センサーデータ(高頻度時系列データ)の収集・蓄積・解析・可視化を一体としたデータ基盤・アプリケーションのシステム設計および開発リード ・Chamber間・装置間・コンポーネント間のデータ比較・解析による予防保全機能やパフォーマンス最適化機能、故障予知アルゴリズムの組込み ・収集データを活用した新たなデジタルサービスの企画・アーキテクチャ構築およびグローバル展開の推進 ※変更の範囲:会社の定める業務
C++
Python
Docker
生成AI・LLM
C#
Shell
React
JavaScript
TypeScript
Windows
Linux
.NET
GitLab
育児支援制度あり
社宅・家賃補助制度あり
研修・勉強会あり
資格取得支援制度あり
持ち株会制度あり
401k(確定拠出年金)あり
退職金制度あり
英語活用
リモート可
時短勤務可
年間休日120日以上
土日祝日休み
自社プロダクト・サービス開発
機械学習・データ活用
従業員数1000名以上
データサイエンティスト
正社員
CMP装置をはじめ、ドライ真空ポンプ、排ガス処理装置などの半導体製造装置およびコンポーネント製品から取得されるデータを活用した自社プラットフォーム(「X-bility」および「EBANET3」等)の開発・強化業務を担当いただきます。 開発チーム/プロジェクトリーダーとして、装置予知保全やデータ基板・アプリケーションの事業化・顧客への価値提供を推進頂けます。 ・装置・コンポーネント群から収集される各種センサーデータ(高頻度時系列データ)の収集・蓄積・解析・可視化を一体としたデータ基盤・アプリケーションのシステム設計および開発リード ・Chamber間・装置間・コンポーネント間のデータ比較・解析による予防保全機能やパフォーマンス最適化機能、故障予知アルゴリズムの組込み ・収集データを活用した新たなデジタルサービスの企画・アーキテクチャ構築およびグローバル展開の推進 ※変更の範囲:会社の定める業務
720~1,570万円
神奈川県(藤沢市)
C++
Python
Docker
生成AI・LLM
C#
Shell
React
JavaScript
TypeScript
Windows
Linux
.NET
GitLab
育児支援制度あり
社宅・家賃補助制度あり
研修・勉強会あり
資格取得支援制度あり
持ち株会制度あり
401k(確定拠出年金)あり
退職金制度あり
英語活用
リモート可
時短勤務可
年間休日120日以上
土日祝日休み
自社プロダクト・サービス開発
機械学習・データ活用
従業員数1000名以上

株式会社荏原製作所
人気の職種・スキルから求人探してみる

株式会社NTTデータ
データエンジニア
850~1,250万円
正社員
東京都
●これまでのご経験を活かして、法人分野における様々な業界(小売、自動車、食品、製薬、メディア等)のお客様の課題やニーズに対し、データ収集基盤の構築やデータ整形、データ活用、BIによる付加価値ある提案を関係者とまとめ、お客様への提案活動に参画すると共に、プロジェクトをリードする役割を期待しております。 ●データエンジニアリングの活動を通じて、将来はDX推進リード、プログラムマネージャや特定業務や業界の知見に基づき、データ活用における業務コンサルや、より深いテクノロジーコンサルとして、お客様の変革プランの策定・実行を推進するポジションへのステップも可能です。さらにデータサイエンティストへの幅出しも可能です。 ●業界・業種に強みのあるデータエンジニアリング経験者、また特定の業務への知見がない方でもテクノロジー視点で経験がある方を、広く募集しております。 【プロジェクト事例】 主な事例は以下の通り。 ① 小売業のビッグデータ活用を支えるデータ基盤の構築と販売、調達の高度化を支援 ② 製造業のSAPシステムにて発生する基幹システムデータをもとに、お客様の経営管理基盤としての数値可視化と経営高度化を支援 ③ 製造業におけるデータ仮想化を実現することで、お客様のデータ活用のサイロ化を回避し、利活用促進を支援
AWS
Google Cloud Platform(GCP)
Microsoft Azure
研修・勉強会あり
英語活用
フレックス勤務
月平均残業20時間以内
機械学習・データ活用
データエンジニア
正社員
●これまでのご経験を活かして、法人分野における様々な業界(小売、自動車、食品、製薬、メディア等)のお客様の課題やニーズに対し、データ収集基盤の構築やデータ整形、データ活用、BIによる付加価値ある提案を関係者とまとめ、お客様への提案活動に参画すると共に、プロジェクトをリードする役割を期待しております。 ●データエンジニアリングの活動を通じて、将来はDX推進リード、プログラムマネージャや特定業務や業界の知見に基づき、データ活用における業務コンサルや、より深いテクノロジーコンサルとして、お客様の変革プランの策定・実行を推進するポジションへのステップも可能です。さらにデータサイエンティストへの幅出しも可能です。 ●業界・業種に強みのあるデータエンジニアリング経験者、また特定の業務への知見がない方でもテクノロジー視点で経験がある方を、広く募集しております。 【プロジェクト事例】 主な事例は以下の通り。 ① 小売業のビッグデータ活用を支えるデータ基盤の構築と販売、調達の高度化を支援 ② 製造業のSAPシステムにて発生する基幹システムデータをもとに、お客様の経営管理基盤としての数値可視化と経営高度化を支援 ③ 製造業におけるデータ仮想化を実現することで、お客様のデータ活用のサイロ化を回避し、利活用促進を支援
850~1,250万円
東京都
AWS
Google Cloud Platform(GCP)
Microsoft Azure
研修・勉強会あり
英語活用
フレックス勤務
月平均残業20時間以内
機械学習・データ活用

株式会社NTTデータ

アデコ株式会社
NEW
Salesforceエンジニア
792~900万円
正社員
東京都(千代田区)
本ポジションは、Salesforceベースの業務システムにおいて、業務要望を構造的に理解し、システム要件へ翻訳したうえで、Salesforce標準を活かした設計・改修・保守判断を行うFunctional Leadを担う。 「要件の質」「設計の方向性」「保守時の判断」を担保し、業務とITDの間に立って設計判断をリードする。 ●Position Summary 本ロールは、ビジネスからの要望や保守・障害対応を、単なる依頼や事象として扱うのではなく、業務プロセス・データ構造・システム挙動として捉え直し、冷静かつ持続可能な判断につなげることを主な責務とする。 Salesforceの技術等、業務に必要な技術を自ら学び、実際に手を動かして検証することで、机上の検討に留まらない現実的な判断を行う。 雇い入れ時:以下に記載の業務 変更の範囲:会社の定める業務
Salesforce
研修・勉強会あり
401k(確定拠出年金)あり
英語活用
リモート可
フルフレックス
年間休日120日以上
土日祝日休み
従業員数1000名以上
NEW
Salesforceエンジニア
正社員
本ポジションは、Salesforceベースの業務システムにおいて、業務要望を構造的に理解し、システム要件へ翻訳したうえで、Salesforce標準を活かした設計・改修・保守判断を行うFunctional Leadを担う。 「要件の質」「設計の方向性」「保守時の判断」を担保し、業務とITDの間に立って設計判断をリードする。 ●Position Summary 本ロールは、ビジネスからの要望や保守・障害対応を、単なる依頼や事象として扱うのではなく、業務プロセス・データ構造・システム挙動として捉え直し、冷静かつ持続可能な判断につなげることを主な責務とする。 Salesforceの技術等、業務に必要な技術を自ら学び、実際に手を動かして検証することで、机上の検討に留まらない現実的な判断を行う。 雇い入れ時:以下に記載の業務 変更の範囲:会社の定める業務
792~900万円
東京都(千代田区)
Salesforce
研修・勉強会あり
401k(確定拠出年金)あり
英語活用
リモート可
フルフレックス
年間休日120日以上
土日祝日休み
従業員数1000名以上

アデコ株式会社
年収700万円以上×詳しい条件で求人を探してみる
フレームワーク・ライブラリ
条件を変えて求人を探してみる
フレームワーク・ライブラリ