該当求人数 12 件
1~12件を表示

株式会社テクノプロ テクノプロ・IT社
組み込みエンジニア
-
正社員
北海道
大手プロジェクトの案件からWebアプリ・業務システム・組込ソフト等の開発業務 サーバー、ネットワーク等の構築業務 【案件例】 <Web・オープン系システム> ◎大手金融システム開発 ◎AI関連システムやWebアプリの開発 ◎Androidアプリ、スマートフォン分野での各種開発 ◎ECサイト、ポータルサイトの開発 <業務系システム> ◎顧客管理システム開発 ◎医療・福祉系システム開発 ◎顧客向けシステム開発・運用・保守 <組込制御ソフトウェア開発> ◎車載系制御システム開発 ◎IoT画像処理制御開発 <インフラ構築> ◎大手Sier社内情報基盤構築PJ(Windows Server) ◎大手メーカー基幹システムクラウド構築(AWS,Azure,Google) ◎インフラ仮想基盤構築(Citrix,Vmware) ◎基幹ネットワークの更改(設計、構築、導入支援) (変更の範囲)会社の定める業務
AWS
VB.NET
PHP
Google Cloud Platform(GCP)
C言語
Microsoft Azure
Java
C++
Perl
Android
生成AI・LLM
Windows
育児支援制度あり
社宅・家賃補助制度あり
研修・勉強会あり
資格取得支援制度あり
401k(確定拠出年金)あり
退職金制度あり
月平均残業20時間以内
年間休日120日以上
従業員数1000名以上
組み込みエンジニア
正社員
大手プロジェクトの案件からWebアプリ・業務システム・組込ソフト等の開発業務 サーバー、ネットワーク等の構築業務 【案件例】 <Web・オープン系システム> ◎大手金融システム開発 ◎AI関連システムやWebアプリの開発 ◎Androidアプリ、スマートフォン分野での各種開発 ◎ECサイト、ポータルサイトの開発 <業務系システム> ◎顧客管理システム開発 ◎医療・福祉系システム開発 ◎顧客向けシステム開発・運用・保守 <組込制御ソフトウェア開発> ◎車載系制御システム開発 ◎IoT画像処理制御開発 <インフラ構築> ◎大手Sier社内情報基盤構築PJ(Windows Server) ◎大手メーカー基幹システムクラウド構築(AWS,Azure,Google) ◎インフラ仮想基盤構築(Citrix,Vmware) ◎基幹ネットワークの更改(設計、構築、導入支援) (変更の範囲)会社の定める業務
-
北海道
AWS
VB.NET
PHP
Google Cloud Platform(GCP)
C言語
Microsoft Azure
Java
C++
Perl
Android
生成AI・LLM
Windows
育児支援制度あり
社宅・家賃補助制度あり
研修・勉強会あり
資格取得支援制度あり
401k(確定拠出年金)あり
退職金制度あり
月平均残業20時間以内
年間休日120日以上
従業員数1000名以上

株式会社テクノプロ テクノプロ・IT社
ジャパニアス株式会社
組み込みエンジニア
-
正社員
北海道
創業以来黒字経営! 盤石な経営基盤のもと従業員数は1800人を超え取引先から引き合いも多く、事業拡大に向けた積極採用です!! ★札幌事業所オープン! ご志向/ご希望に応じて、プロジェクトを決定しますので、是非面接でお話しください! ●取引業界 製造メーカー、通信キャリア、金融、流通、官公庁 等 ●開発環境 使用OS:Linux、UNIX、Windows、μITRON、Symbian OS、メーカ独自OS 等 使用言語:C、 C++、VC++、アセンブラ 等 使用DB:Oracle、MySQL、PosgreSQL、MS SQL Server 等 ●プロジェクト例 ・システム要件定義・設計(上流)SE ・システム実装・テスト(下流)PG ※ご志向・ご希望に応じて、プロジェクトを決定します ※地元密着主義のため、地元の大手企業でのプロジェクトを前提としています。
SQL Server
MySQL
Python
C言語
Windows
Java
Oracle
Assembler
PostgreSQL
C++
Unix
生成AI・LLM
Linux
研修・勉強会あり
資格取得支援制度あり
401k(確定拠出年金)あり
年間休日120日以上
土日祝日休み
従業員数1000名以上
上場企業
組み込みエンジニア
正社員
創業以来黒字経営! 盤石な経営基盤のもと従業員数は1800人を超え取引先から引き合いも多く、事業拡大に向けた積極採用です!! ★札幌事業所オープン! ご志向/ご希望に応じて、プロジェクトを決定しますので、是非面接でお話しください! ●取引業界 製造メーカー、通信キャリア、金融、流通、官公庁 等 ●開発環境 使用OS:Linux、UNIX、Windows、μITRON、Symbian OS、メーカ独自OS 等 使用言語:C、 C++、VC++、アセンブラ 等 使用DB:Oracle、MySQL、PosgreSQL、MS SQL Server 等 ●プロジェクト例 ・システム要件定義・設計(上流)SE ・システム実装・テスト(下流)PG ※ご志向・ご希望に応じて、プロジェクトを決定します ※地元密着主義のため、地元の大手企業でのプロジェクトを前提としています。
-
北海道
SQL Server
MySQL
Python
C言語
Windows
Java
Oracle
Assembler
PostgreSQL
C++
Unix
生成AI・LLM
Linux
研修・勉強会あり
資格取得支援制度あり
401k(確定拠出年金)あり
年間休日120日以上
土日祝日休み
従業員数1000名以上
上場企業
ジャパニアス株式会社

グラビス・アーキテクツ株式会社
DevOpsエンジニア
700万円~
正社員
札幌市(中央区)
※グラビス・アーキテクツ株式会社にて採用し、入社日から株式会社AmbiRiseに出向いただきます。 入社当初は、全国25団体が導入する電子請求サービス『Haratte』のグロースを支える中核メンバーとして、経営層やCSチームと連携しながら開発・運用の中心を担っていただきます。 当社の開発は提示された仕様書通りに進める形式ではなく、開発リーダーやビジネスパートナーとともに顧客(自治体・事業者)のリアルな要望を捉え、機能要件の定義や設計の上流工程から携わっていただきます。 また、既存サービスの発展にとどまらず、第二弾・第三弾となる新規サービスの企画立案や立ち上げにも初期段階から参画し、公共領域のデジタル化を推進するプロダクト開発を共に実行していただきます。 【具体的な業務内容】 ・顧客の要望を反映した新機能の要件定義・仕様検討およびシステム設計 ・『Haratte』の開発、運用、保守(監視・障害対応) ・動作環境のバージョンアップや構成変更等のメンテナンス ・生成AI(LLM等)を活用した新機能のプロトタイプ開発および検証 ・開発基盤や環境の管理・改善、バージョンおよびドキュメントの管理 ・開発・運用プロセスの標準化、およびビジネスパートナーとの共同開発・リード・技術サポート
C#
生成AI・LLM
年俸制(12分割)
リモート可
月平均残業20時間以内
土日祝日休み
自社プロダクト・サービス開発
生成AI・LLMプロダクト開発
従業員数100名未満
DevOpsエンジニア
正社員
※グラビス・アーキテクツ株式会社にて採用し、入社日から株式会社AmbiRiseに出向いただきます。 入社当初は、全国25団体が導入する電子請求サービス『Haratte』のグロースを支える中核メンバーとして、経営層やCSチームと連携しながら開発・運用の中心を担っていただきます。 当社の開発は提示された仕様書通りに進める形式ではなく、開発リーダーやビジネスパートナーとともに顧客(自治体・事業者)のリアルな要望を捉え、機能要件の定義や設計の上流工程から携わっていただきます。 また、既存サービスの発展にとどまらず、第二弾・第三弾となる新規サービスの企画立案や立ち上げにも初期段階から参画し、公共領域のデジタル化を推進するプロダクト開発を共に実行していただきます。 【具体的な業務内容】 ・顧客の要望を反映した新機能の要件定義・仕様検討およびシステム設計 ・『Haratte』の開発、運用、保守(監視・障害対応) ・動作環境のバージョンアップや構成変更等のメンテナンス ・生成AI(LLM等)を活用した新機能のプロトタイプ開発および検証 ・開発基盤や環境の管理・改善、バージョンおよびドキュメントの管理 ・開発・運用プロセスの標準化、およびビジネスパートナーとの共同開発・リード・技術サポート
700万円~
札幌市(中央区)
C#
生成AI・LLM
年俸制(12分割)
リモート可
月平均残業20時間以内
土日祝日休み
自社プロダクト・サービス開発
生成AI・LLMプロダクト開発
従業員数100名未満

グラビス・アーキテクツ株式会社
AI・機械学習(LLM)エンジニア
正社員
※グラビス・アーキテクツ株式会社にて採用し、入社日から株式会社AmbiRiseに出向いただきます。 入社当初は、全国25団体が導入する電子請求サービス『Haratte』のグロースを支える中核メンバーとして、経営層やCSチームと連携しながら開発・運用の中心を担っていただきます。 当社の開発は提示された仕様書通りに進める形式ではなく、開発リーダーやビジネスパートナーとともに顧客(自治体・事業者)のリアルな要望を捉え、機能要件の定義や設計の上流工程から携わっていただきます。 また、既存サービスの発展にとどまらず、第二弾・第三弾となる新規サービスの企画立案や立ち上げにも初期段階から参画し、公共領域のデジタル化を推進するプロダクト開発を共に実行していただきます。 【具体的な業務内容】 ・顧客の要望を反映した新機能の要件定義・仕様検討およびシステム設計 ・『Haratte』の開発、運用、保守(監視・障害対応) ・動作環境のバージョンアップや構成変更等のメンテナンス ・生成AI(LLM等)を活用した新機能のプロトタイプ開発および検証 ・開発基盤や環境の管理・改善、バージョンおよびドキュメントの管理 ・開発・運用プロセスの標準化、およびビジネスパートナーとの共同開発・リード・技術サポート
500万円~
札幌市(中央区)
C#
生成AI・LLM
リモート可
月平均残業20時間以内
土日祝日休み
自社プロダクト・サービス開発
従業員数100名未満

グラビス・アーキテクツ株式会社
サーバーエンジニア
正社員
【案件概要】 オンプレミス環境における RHEL基盤の設計・構築~運用 を中心に、監視設計(監視ツール設定・アラート運用)や障害一次切り分け、手順書作成までを担当いただきます。 【業務内容】 ●RHELサーバの設計・構築・運用(オンプレ環境) ●監視設計・運用(監視ツール設定、閾値設計、アラート対応) ●障害一次切り分け、原因調査の補助、エスカレーション ●PostgreSQLの運用・構築(環境に応じて) ●NWの基礎対応(疎通・切り分け・運用レベル) ●構築手順書/運用手順書の作成・更新 ※リーダーポジションの場合: チーム取りまとめ、タスク管理、進捗管理、関係者調整 などチーム推進を担っていただきます。 【社内の雰囲気】 ●交流の機会がたくさんあり、チームビルディングがしやすい環境です。 ●社内は7割が外国籍の方ですが、皆さんとてもフレンドリーです。 ●社内の平均年齢は33.8歳。若くて活気あふれる会社です。 ●ベトナム語が話せなくても大丈夫です。(社内公用語は日本語です。) ●ベトナム語講座が定期的に開催され、どなたでもご参加いただけます。 ●コーヒーサーバーがあるので、無料でコーヒーやお水、お茶を飲むことができます。 【北海道拠点の環境】 ●2025年1月~4月の平均残業時間:約9時間(※プロジェクトや時期によって残業時間は変動するので、この残業時間はお約束できるものではありません。) ●2025年6月の時点で、北海道拠点在籍メンバーは約100名です。 ●男女比:男性68%、女性32% ●国籍比率:ベトナム48%、日本46%、他国籍6%(インドネシア、スペイン、ロシアなど) ●2023年9月にできたばかりの、綺麗なオフィスです。 ●有志の社員による英会話クラブ、フットサルクラブ、登山クラブなど、各種活動あり ●転勤はございません。 ●オンライン自己研鑽としてLinkedin Lerningのアカウントを全社員に付与 ●教育部が開催する技術勉強クラスあり(Java、Pega、インフラ、PMP取得、etc...) ●Google Cloudクラブ、AWSクラブ、生成AIクラブなど各種クラブ活動あり ●ベトナム語クラスあり 【入社後のフォロー体制】 ●FPT全体で、メンター・メンティー制度を導入しています。わからないことはメンターにいつでも質問できます。 ●PJにアサインする前に、一定期間の講習を受けていただくことがあります。 ●メンター面談:試用期間中、計5回の面談を実施します。
450~700万円
札幌市(中央区)
AWS
生成AI・LLM
Linux
Windows
PostgreSQL
社宅・家賃補助制度あり
研修・勉強会あり
401k(確定拠出年金)あり
転勤なし
月平均残業20時間以内
年間休日120日以上
土日祝日休み
従業員数100名〜1000名未満
外資系企業
FPTニアショアジャパン株式会社

株式会社システナ
プロダクトマネージャー(PdM)
500~2,000万円
正社員
北海道(札幌市)
【業務内容・役割】 大手金融機関(銀行・証券・生損保)、官公庁、公共団体等の大規模プロジェクトにおいて、プレイングマネージャーとしてプロジェクト推進およびチームマネジメントを担当します。 ・DXコンサルティング・開発: 単なるシステム開発にとどまらず、お客様のDX実現に向けた業務最適化提案から参画。テクニカルレイヤーだけでなく、ビジネス視点でのコンサルティングを行います。 ・AI駆動開発による生産性改革: 生成AIを活用した「AI駆動開発」を推進。システム開発の生産性を飛躍的に向上させるとともに、最新技術の実装に挑戦できる環境です。 ・組織・プロジェクトマネジメント: 開発実務に加え、チームの目標設定、進捗・品質管理、メンバーの育成・指導といった組織運営(リソースマネジメント)をお任せします。 【具体的な事例】 ・大規模公共系システム開発(ユーザー数2,000万人規模): 大規模団体の申請受付業務システムにおいて、要件定義などの上流工程から開発、リリース後の保守まで全工程を一気通貫でリード。 ・生成AI活用ソリューション: 業務特化型AIエージェントサービスの企画・開発および導入支援。最先端のAI技術を用いた業務効率化を実現。 ・ServiceNow活用ワークフローシステム: ローコードプラットフォーム(ServiceNow)を活用した大規模ワークフローシステムの開発。短期間での高品質なシステム構築を実現。 ●キャリアパス デジタルインテグレーション本部(社員550名+協力会社社員430名)配下の部門に配属となります。各部門には、スペシャリストと呼べるテクニカルな部分を担う役割の他、主任、係長、課長、部長、事業部長といったラインマネジメントの職責もございます。 一人ひとりのご要望とご経験に応じたキャリアマップの作成が可能となっています。 同社のキャリアパスは、一般的なSE→PL→PMといった様な1本道ではありません。大きく分けて3つのパスがあります。 1.スペシャリスト: 高度な技術知識を有し、新規技術の研究や導入、レベルの高い仕様書や設計書を書ける技術者 2.シニアエンジニア→エキスパート→シニアエキスパート(技術系マネジメント): 作業や工数を見積り、開発計画を決定。品質管理や要件定義、仕様設計などSEとして必要な知識と経験を持ち、メンバーに指示・指導できる技術者 3.リーダー→プロジェクトリーダー→プロジェクトマネージャー(リソースマネジメント): 全社のビジョンにもとづき、担当グループの目標を明確に決定。達成の為に、人・モノ・カネ・時間といったリソースを有効に活用することができる管理者 ●従事すべき業務の変更の範囲 ・雇い入れ直後:システムエンジニア業務 ・変更の範囲:本人の適性により当社業務全般に変更の可能性がございます。
C++
Rust
React
JavaScript
Java
Go
Python
生成AI・LLM
Ruby
PHP
TypeScript
Swift
C#
Kotlin
研修・勉強会あり
資格取得支援制度あり
持ち株会制度あり
401k(確定拠出年金)あり
管理職・マネージャー候補
年間休日120日以上
土日祝日休み
自社内開発メイン
大規模トラフィック環境
生成AI・LLMプロダクト開発
従業員数1000名以上
上場企業
プロダクトマネージャー(PdM)
正社員
【業務内容・役割】 大手金融機関(銀行・証券・生損保)、官公庁、公共団体等の大規模プロジェクトにおいて、プレイングマネージャーとしてプロジェクト推進およびチームマネジメントを担当します。 ・DXコンサルティング・開発: 単なるシステム開発にとどまらず、お客様のDX実現に向けた業務最適化提案から参画。テクニカルレイヤーだけでなく、ビジネス視点でのコンサルティングを行います。 ・AI駆動開発による生産性改革: 生成AIを活用した「AI駆動開発」を推進。システム開発の生産性を飛躍的に向上させるとともに、最新技術の実装に挑戦できる環境です。 ・組織・プロジェクトマネジメント: 開発実務に加え、チームの目標設定、進捗・品質管理、メンバーの育成・指導といった組織運営(リソースマネジメント)をお任せします。 【具体的な事例】 ・大規模公共系システム開発(ユーザー数2,000万人規模): 大規模団体の申請受付業務システムにおいて、要件定義などの上流工程から開発、リリース後の保守まで全工程を一気通貫でリード。 ・生成AI活用ソリューション: 業務特化型AIエージェントサービスの企画・開発および導入支援。最先端のAI技術を用いた業務効率化を実現。 ・ServiceNow活用ワークフローシステム: ローコードプラットフォーム(ServiceNow)を活用した大規模ワークフローシステムの開発。短期間での高品質なシステム構築を実現。 ●キャリアパス デジタルインテグレーション本部(社員550名+協力会社社員430名)配下の部門に配属となります。各部門には、スペシャリストと呼べるテクニカルな部分を担う役割の他、主任、係長、課長、部長、事業部長といったラインマネジメントの職責もございます。 一人ひとりのご要望とご経験に応じたキャリアマップの作成が可能となっています。 同社のキャリアパスは、一般的なSE→PL→PMといった様な1本道ではありません。大きく分けて3つのパスがあります。 1.スペシャリスト: 高度な技術知識を有し、新規技術の研究や導入、レベルの高い仕様書や設計書を書ける技術者 2.シニアエンジニア→エキスパート→シニアエキスパート(技術系マネジメント): 作業や工数を見積り、開発計画を決定。品質管理や要件定義、仕様設計などSEとして必要な知識と経験を持ち、メンバーに指示・指導できる技術者 3.リーダー→プロジェクトリーダー→プロジェクトマネージャー(リソースマネジメント): 全社のビジョンにもとづき、担当グループの目標を明確に決定。達成の為に、人・モノ・カネ・時間といったリソースを有効に活用することができる管理者 ●従事すべき業務の変更の範囲 ・雇い入れ直後:システムエンジニア業務 ・変更の範囲:本人の適性により当社業務全般に変更の可能性がございます。
500~2,000万円
北海道(札幌市)
C++
Rust
React
JavaScript
Java
Go
Python
生成AI・LLM
Ruby
PHP
TypeScript
Swift
C#
Kotlin
研修・勉強会あり
資格取得支援制度あり
持ち株会制度あり
401k(確定拠出年金)あり
管理職・マネージャー候補
年間休日120日以上
土日祝日休み
自社内開発メイン
大規模トラフィック環境
生成AI・LLMプロダクト開発
従業員数1000名以上
上場企業

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

株式会社テクノプロ テクノプロ・エンジニアリング社
NEW
プロジェクトマネージャー(PM)
-
正社員
北海道
大手企業向けの基幹システム開発・新規アプリケーション開発のプロジェクトに携わっていただきます。 ●業務系システム 大手メーカーの業務システム開発や金融系基幹システム、官公庁向けのシステム開発などに携わります。 ●Webアプリケーション Webサービス運用企業向け開発やECサイト、クライアントアプリケーションの開発などに携わります。 ●ビジネスアプリケーション 企業情報可視化対応のERPや製造業・小売業の業務効率をサポートするSCM、購買・製造、連携部署間の情報伝達を最適化するPDMの作成などに携わります。 OS:Linux/Windows DB:Oracle、Postgres 言語:Java、C#、C⁺⁺、VB.NET、Python等での開発 その他:SQL、Oracle 等 ●配属部署 全国各拠点 及びクライアント先
C++
Oracle
JavaScript
Java
Objective-C
Windows
GitHub
Python
PHP
VB.NET
JIRA
C#
Ruby
生成AI・LLM
COBOL
研修・勉強会あり
資格取得支援制度あり
生成AI開発ツール導入
第二新卒歓迎
従業員数1000名以上
NEW
プロジェクトマネージャー(PM)
正社員
大手企業向けの基幹システム開発・新規アプリケーション開発のプロジェクトに携わっていただきます。 ●業務系システム 大手メーカーの業務システム開発や金融系基幹システム、官公庁向けのシステム開発などに携わります。 ●Webアプリケーション Webサービス運用企業向け開発やECサイト、クライアントアプリケーションの開発などに携わります。 ●ビジネスアプリケーション 企業情報可視化対応のERPや製造業・小売業の業務効率をサポートするSCM、購買・製造、連携部署間の情報伝達を最適化するPDMの作成などに携わります。 OS:Linux/Windows DB:Oracle、Postgres 言語:Java、C#、C⁺⁺、VB.NET、Python等での開発 その他:SQL、Oracle 等 ●配属部署 全国各拠点 及びクライアント先
-
北海道
C++
Oracle
JavaScript
Java
Objective-C
Windows
GitHub
Python
PHP
VB.NET
JIRA
C#
Ruby
生成AI・LLM
COBOL
研修・勉強会あり
資格取得支援制度あり
生成AI開発ツール導入
第二新卒歓迎
従業員数1000名以上

株式会社テクノプロ テクノプロ・エンジニアリング社
ITセールス・セールスエンジニア
正社員
●携わることができる分野 ・スマートフォン/PC/タブレット ・MDMサービス ・資産管理ツール ・クラウドアドレス帳サービス ・LCMサービス ・各種SaaSプロダクト ●業務内容|お客さまへの貢献を直接感じ、自分の技術も磨いていく 企業のDXを支えるモバイルやPCなどのスマートデバイス導入に欠かせないキッティングやMDM、資産管理ツール、クラウドアドレス帳、などの各種SaaSの導入支援やLCMサービスの提案フェーズから携わっていただきます。 また、受注後は開通に向け、お客さまフォローや各社部門との調整を行うプロジェクトマネジメント業務も担当いただきます。 様々なご要望がある中、営業担当者や協力会社などのステークホルダーと様々な調整をしながら業務を進めていただくことがカギとなります。 ⚫︎プリセールス 営業担当者に同行し、お客さまのお困りごとを技術的な側面から深堀りした上でご提案を行います。 ご提案にあたり導入までの流れや期間の設計を併せて行い、受注を目指します。 ⚫︎インテグレーション 案件受注後、プロジェクトリーダーとして、パートナー企業からの協力を得ながら予算・納期・品質が満たされているかを管理し、お客さまと密に連携しサービスインへと導きます。 ●研修制度|専門性を磨き、最新の技術にも触れられる環境 ・月1回ほど、商材や最新技術に関する社内勉強会を実施 ・研修ビデオがあり、自主学習として自由に閲覧が可能 ・IT関連をはじめ、AIやビジネススキルなど約200種類の資格が取得補助金対象 ●入社後の流れ 入社後は8営業日の集合型研修(東京本社)の後に、現場配属予定です。 配属後は先輩社員と顧客訪問に同行する形でOJTを実施いたします。 定期的な1on1など、チームリーダーやグループリーダーのフォロー体制があります。 情報セキュリティに強い組織を目指し、体制強化と教育を行っています。 ●キャリアパス 「プロフェッショナル」と「マネジメント」の2つのキャリアステップがあります。 ⚫︎プロフェッショナル プリセールス/インテグレーションのスペシャリストとして、より大規模、複雑性の高い案件を担当して頂きます。 ⚫︎マネジメント 管理職として、SE組織のマネジメントを担って頂きます。 あくまでも一例ですが、入社後1年~3年目は一般メンバーとしての案件対応、3年目~5年目にはチームを牽引するリーダー、リーダーを数年経験後はプロフェッショナルorマネジメントとして組織全体を牽引する人材としてご活躍頂きたいと考えています。 ●従事すべき業務の変更の範囲 (変更の範囲)会社の定める業務
540~760万円
北海道(札幌市)
Slack
AWS
Notion
生成AI・LLM
Snowflake
育児支援制度あり
研修・勉強会あり
資格取得支援制度あり
持ち株会制度あり
401k(確定拠出年金)あり
オンライン面接完結
リモート可
年間休日120日以上
土日祝日休み
従業員数1000名以上

KDDI Biz Edge株式会社
生成AI・LLM×詳しい条件で求人を探してみる
条件を変えて求人を探してみる
フレームワーク・ライブラリ