- 製品・サービス
76件 - メーカー・取り扱い企業
企業
643件 - カタログ
5482件
-
-
ラインの見える化!CraftPatコンパウンドライン監視システム
PR樹脂コンパウンド企業のためのリーズナブルな遠隔監視システム。工場内に点…
クボタのコンパウンドライン監視システムは、フィーダーだけではなく押出機や周辺機器の情報を取り込み、包括的な機器の稼働状態表示と異常時のデータ解析を迅速に行える、生産性向上に寄与する遠隔監視システムです。 設備への段階的な導入で、お客様の工場の見える化を推進します。 「機器からの警報に気づかない時がある」「不良品が出た際に原因機器を特定したい」「現場の計測データを手動で記録している」などの悩みや課題...
メーカー・取り扱い企業: 株式会社クボタ計装
-
-
『多変量統計解析トレーニングセミナー』11月28日・29日開催
PR多変量解析の基礎・原理が良くわかる。実データを用いた解析も行う実践的な…
2024年11月28日・29日に、当社主催のセミナー 『多変量統計解析トレーニングコース<レベル1> 理論と実践』 を開催いたします。 本コースでは、複雑なデータの関係性を速やかに解釈し、 産業界、研究界で希求される最新の多変量解析技術を どのように業務応用できるかを集中的に学べます。 多変量統計解析、スペクトル解析、知覚・官能データの解析、PAT/QbDなどを テーマに解説する、数学的説明は...
メーカー・取り扱い企業: 株式会社クオリテイデザイン
-
-
次世代シーケンサーのデータ解析をコマンド入力なしで実行!RNA-seq…
『Partek Flow』は、様々なアプリケーションに対応した次世代シーケンサーデータ解析ソフトウェアです。 【対応アプリケーション】 ■遺伝子発現解析(RNA-seq, Single Cell RNA-seq) ■miRNA発現解析(miRNA-seq) ■ゲノムリシ...
メーカー・取り扱い企業: 株式会社モルシス
-
-
ゲノムワイドにエピゲノム情報を取得!バイアスのない精確な解析が可能!
「Flow」は、次世代シーケンサー(以下、NGS)から出力されたリード配列を 読み込んで、RNA-seqやDNA-seqのデータ解析が可能なシーケンサーデータ 解析ソフトウェアです。 2016年12月にリリースされた「Flow 6.0」では、『ChIP-seqのデータ解析』に対応。 リード配列の参照ゲノム配列...
メーカー・取り扱い企業: 株式会社モルシス
-
-
【書籍発刊】ELNによる研究データの統合的管理 ※抜刷進呈中
クラウド型電子実験ノートによる研究データ管理のメリットや活用例として、…
紹介されています。詳細な執筆者や目次については出版社のウェブサイトをご参照下さい。 第3章「自動・自律実験の運用における組織体制と社内展開の仕方」の第8節「クラウド型電子実験ノートを活用した研究データの統合的管理」にて、クラウド型電子実験ノートによる研究データの統合的管理のメリットの説明と、その具体例としてCDD Vaultの機能と利用事例の紹介を行っています。 本節の詳しい内容にご興味があ...
メーカー・取り扱い企業: 株式会社モルシス
-
-
Partek社製ソフトウェアを組み合わせてRNA-seqのデータ解析を…
Partek社はNGSデータ解析ソフトウェアPartek Flow、NGS/マイクロアレイデータ解析ソフトウェアPartek Genomics Suite、パスウェイ解析ソフトウェアPartek Pathwayをリリースして...
メーカー・取り扱い企業: 株式会社モルシス
-
-
雑誌掲載記事の別刷進呈! 電子実験ノートによる研究データ管理のメリット…
同研究プロジェクトの情報共有プラットフォームとしての採用事例もあります。 現在、ELNのメリットや『CDD Vault ELN』の特長が紹介された記事 『クラウド型電子実験ノートによる研究データの統合的管理 ―CDD Vault ELNの紹介―』 の別刷資料を進呈中です。 「お問い合わせ」より「別刷送付希望」とご記入の上お申し込みください。 ※製品の詳細は『PDFダウンロード』...
メーカー・取り扱い企業: 株式会社モルシス
-
-
RegMolでは低分子から高分子まで様々な種類の分子の情報を登録可能!
Scilligence社製『RegMol』は、分子情報およびアッセイデータ登録システムです。 RegMolでは低分子から高分子まで様々な種類の分子の情報を登録できます。 例えば、RegMolにペプチドを登録する場合、プロジェクトや構造式、CAS 番号などの外部ID、...
メーカー・取り扱い企業: 株式会社モルシス
-
-
サンプル情報およびアッセイデータをクラウド上で共有、ELNも利用可能!…
『CDD VAULT』は、創薬研究に関する情報を共有するクラウドシステムです。化合物や細胞株などのサンプル情報と、それらのサンプルを用いたさまざまなアッセイのデータを登録できます。 『CDD VAULT』は、次の4つのモジュールから構成されます。 ■必須モジュール ・Activity & Registration(サンプルとアッセイデータの管理) ...
メーカー・取り扱い企業: 株式会社モルシス
-
-
GEOなどに登録されたマイクロアレイやRNA-seqのデータをキュレー…
『GENEVESTIGATOR』は、GEOやArrayExpressなどの公共リポジトリーに登録されたマイクロアレイや次世代シーケンサーの膨大な遺伝子発現データをキュレーションすることで、様々な研究者が登録した大量の実験結果を統合して解析可能にする遺伝子発現データベースです。 【対応生物種:biomedical】 ヒト、マウス、ラット、サル、イヌ...
メーカー・取り扱い企業: 株式会社モルシス
-
-
材料開発における研究情報管理(原材料/レシピ/実験結果/規格)
農薬・化粧品・機能性材料などの研究開発で必要とされる研究情報の統合管理…
『CBIS』は研究に使用する資材、研究で生じた実験データ、文献やレポートといった文書など研究に関わる多様なデータを統合して管理できるウェブシステムです。 『CBIS』のレシピモジュールは、材料開発における原材料や添加剤およびその配合条件、製品に求...
メーカー・取り扱い企業: 株式会社モルシス
-
-
タンパク質立体構造データベースシステム『PSILO2016.1』
タンパク質立体構造データ共有を支援!クオリティーサマリー表示なども可能…
「PSILO」は、生体高分子やタンパク質-リガンド複合体構造情報の データベースシステムです。 タンパク質立体構造データを整理して、多様な条件で検索可能にし、データの 共有を支援します。公共データやインハウスデータなどの分散するタンパク質 立体構造データを統合...
メーカー・取り扱い企業: 株式会社モルシス
-
-
研究情報を効率的に管理して情報資産としての価値を向上!利用人数に制限が…
『CBIS』は、化合物・細胞株・プラスミド・プレートなどの実験材料、プレートアッセイ結果や機器分析結果などの実験データ、報告書や参考文献などの関連文書といった研究に関わるあらゆるデータを統合的に管理する研究情報共有システムです。 『CBIS』はデータの種類ごとにモジュール化されています。化合物やアッセイ結果...
メーカー・取り扱い企業: 株式会社モルシス
-
-
ウェブベースのデータ解析・可視化ツール!新製品Focusの機能を紹介し…
Scilligence 社製統合プラットフォームの新製品Focusは、化学や生物学の データセットで複雑な分析を行うためのウェブベースのデータ解析・可視化ツールです。 RegMolの登録データと外部ソースからインポートしたデータを統合的に扱えます。 SAR解析機能ではRグルー...
メーカー・取り扱い企業: 株式会社モルシス
-
-
多様なデータを統合管理!製剤研究における情報管理についてご紹介
『CBIS』は、研究に使用する資材、研究で生じた実験データ、文献やレポート といった文書など、研究に関わる多様なデータを統合して管理できる ChemInnovation Software社製のウェブシステムです。 製剤研究においては、主剤や添加...
メーカー・取り扱い企業: 株式会社モルシス
-
-
独自の予測モデルにより薬理活性、毒性・安全性、代謝産物の予測を行います…
『Chemotargets CLARITY』は、膨大な量のアッセイデータと有害事象レポートを 整理統合して活用することで、隠れた知識を発見し、医薬品開発の効率を 改善する革新的なデータサイエンス・ソリューションです。 アッセイデータは、公共および商用データベ...
メーカー・取り扱い企業: 株式会社モルシス
-
-
紙の実験ノートに近い構成!セキュリティを確保しつつ実験情報を共有できま…
『CBIS:汎用電子実験ノート』は、研究に使用する資材、研究で生じた 実験データ、文献やレポートといった文書など研究に関わる多様なデータを 統合して管理できるウェブシステムです。 国内外で多数ご導入いただいており、柔軟なカスタマイズ性と優れた コストパフォーマンスで...
メーカー・取り扱い企業: 株式会社モルシス
-
-
選択した2つの遺伝子の発現量をX軸とY軸にとることでサンプルの分布を確…
【その他新たな収載データ】 ■TCGAデータの追加収載 ■GTExデータの新規収載 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。...
メーカー・取り扱い企業: 株式会社モルシス
-
-
実験の記録と合わせて参考文献やデータファイルも一括管理し散逸を防止! …
ELN」の機能についてご紹介しております。 CDD Vaultは、白紙のキャンバスへの自由記述と電子ファイルの貼り付けによって、化学合成やバイオアッセイをはじめとするさまざまな種類の実験のデータを定型化することなく柔軟に記録できる電子実験ノートです。データ改ざんを防止し知的財産を保護するとともに、散在するデータの集約と共有、実験記録の効率化、他のシステムとの連携など、研究上のさまざまな課...
メーカー・取り扱い企業: 株式会社モルシス
-
-
受容体構造を用いた化合物のドッキングシミュレーション
nd Interaction Fingerprint解析 ■母核置換とのフラグメントベースの分子設計 ■3D-RISM法による溶媒解析 ■タンパク質表面解析 ■SBDDのためのプロジェクトデータ構築...
メーカー・取り扱い企業: 株式会社モルシス
-
-
最適な材料設計をお手元に。
ラットフォームです。SciMAPSは量子化学計算からメソスケール計算まで、時間的にも空間的にも異なるさまざまなスケールの計算科学手法に対応しています。SciMAPSには、使いやすいモデル構築機能、データ解析機能が標準装備され、大学や研究機関で開発された世界的に定評のある先進の計算プログラムを統一された操作で利用できます。SciMAPSが提供するプラットフォーム上では、高分子の物性の推算をはじめ、...
メーカー・取り扱い企業: 株式会社モルシス
-
-
MOE Extensions for KNIME Ver.2.4
MOEノードまたは既存のノードを組み合わせてワークフローを作ることで解…
KNIMEは、オープンソースのデータ分析やレポート作成を行うための統合プラットフォームです。MOE Extensions for KNIME は、MOEを計算エンジンに用いたKNIMEノードの総称で、Ver. 2.4.0では180を...
メーカー・取り扱い企業: 株式会社モルシス
-
-
多様なデータを統合管理!CBISを活用した研究情報の共有についてご紹介
『CBIS』は、研究に使用する資材、研究で生じた実験データ、文献やレポート といった文書など、研究に関わる多様なデータを統合して管理できる ChemInnovation Software社製のウェブシステムです。 当製品は複数ユーザーが同時に使...
メーカー・取り扱い企業: 株式会社モルシス
-
-
化学情報を効率よくハンドリング!理想的な化学情報システムを構築するため…
Daylight社のソフトウェア群は、in-silico創薬および化学情報管理システムを構築するための開発用ツールです。 化合物・化学反応情報のデータベース登録・検索や、化合物に対する様々な操作を効率よく行えるよう設計されています。システムの規模に係わらず、プロジェクトや創薬戦略に応じた理想的な化学情報管理システムが構築できます。 ■デー...
メーカー・取り扱い企業: 株式会社モルシス
-
-
大量の実験結果を統合して解析を効率化!強力で使いやすい解析ツール
『GENEVESTIGATOR』は、遺伝子発現データベースのオンライン解析ツールです。 公共データベースに登録されたマイクロアレイや次世代シーケンサーの膨大な 遺伝子発現データをキュレートすることで、様々な研究者により登録された 大量の実...
メーカー・取り扱い企業: 株式会社モルシス
-
-
データパイプラインを視覚的に作成するためのモジュール式のワークフローツ…
「KNIME」はデータ分析やレポート作成を行うためのオープンソースの統合 プラットフォームです。 BioSolveIT 社は、KNIMEのパートナーであり、創薬支援ツールをKNIME上で 実行するためのノード...
メーカー・取り扱い企業: 株式会社モルシス
-
-
【技術情報】Batchremovalツールによるバッチ効果の低減
バッチ効果の低減に利用可能なBatch removal機能についてご紹…
『Partek Flow』は、シーケンサーデータ解析ソフトウェアです。 シーケンサー(NGS)から出力されたリード配列を読み込んで、 RNA-seqやSingle Cell RNA-seq等のデータを解析することが可能。 当資料で...
メーカー・取り扱い企業: 株式会社モルシス
-
-
安全性知識ベースプラットフォーム。医薬品の安全性情報を統合し、トランス…
よびファーマコビジランス業務の支援します。 - リアルタイムなシグナル検出 - 医薬品クラス安全性 - ターゲットクラス安全性 - 安全性監視 【掲載内容】 ■Clarify(データ収集とマニュアルキュレーション) ■ClarityOne(安全性データベース) ■ClaritySignals(シグナル検出) ■ClarityStrata(部分集団解析) ■Clarit...
メーカー・取り扱い企業: 株式会社モルシス
-
-
創薬研究書籍の抜刷記事を配布中!
『MOE』は、創薬・生命科学研究のための分子モデリング、シミュレーションソフトウェアです。 直観的に操作できる多彩なアプリケーションと豊富なデータコンテンツで、 計算化学者から実験研究者まで、幅広いユーザーの研究をサポートします。 国内外で多くの導入実績があり、分子シミュレーション、ケモインフォマティクス、 タンパク質・抗体・ペプ...
メーカー・取り扱い企業: 株式会社モルシス
-
-
乳がん特異的な発現パターンと逆相関を示す化合物の解析
『GENEVESTIGATOR』は、遺伝子発現データベースのオンライン解析ツールです。 公共データベースに登録されたマイクロアレイや次世代シーケンサーの膨大な 遺伝子発現データをキュレートすることで、様々な研究者により登録された 大量の実...
メーカー・取り扱い企業: 株式会社モルシス
-
-
ELN、RegMol、Inventoryに共通する創薬研究のモダリティ…
電子実験ノートを中心にプロジェクト管理や 在庫管理など研究情報を一元管理できるウェブベースの研究情報管理統合 プラットフォームを提供しています。 電子実験ノートELN、分子情報・アッセイデータ登録システムRegMol、 在庫管理システムInventoryの各製品では低分子化合物から核酸・ペプチド・ タンパク質・抗体などの生体高分子、細胞株や生体組織まで、多様な モダリティのデータ...
メーカー・取り扱い企業: 株式会社モルシス
-
-
研究情報管理統合プラットフォーム「Scilligence」と連携で効率…
hMol4Office』は、Microsoft Office への プラグインです。 Microsoft Officeの各ソフトウェア内で化学的・生物学的機能を用いて 構造情報を含む研究データを整理することができ、研究データの解析や レポート作成を容易に行えます。 また、Scilligence ELN(電子実験ノート)などと連携して利用すること により研究を効率的に行えます。...
メーカー・取り扱い企業: 株式会社モルシス
-
-
幅広い分野に対応!企業の研究部門や教育機関で広くご利用可能
当資料では、学術研究での電子実験ノートの活用事例についてご紹介しております。 大量の実験記録や関連データから目的のものを見つけるのは、紙の実験ノートでは時間と労力がかかります。大学の研究グループで、電子実験ノートの導入により、実験データの入力・探索を効率化するだけでなく、ミーティングでの情報共有の効...
メーカー・取り扱い企業: 株式会社モルシス
-
-
【技術情報】DISGENET plus:TLR7標的疾患の探索
疾患の遺伝的要因や薬の副反応に関する新たな発見を支援します!
Toll-like receptor(TLR)7に関連する疾患やTLR7標的薬に 関連する疾患の探索事例をご紹介しております。 「DISGENET plus」は、ヒトの疾患に関連する遺伝子データと変異データを さまざまなデータベースや科学文献から専門家がキュレーションして 統合した発見プラットフォーム。 各項目ごとに詳しく解説しておりますので、 是非、ご一読ください。 ...
メーカー・取り扱い企業: 株式会社モルシス
-
-
Ver. C30では推算精度と計算速度が向上!純物質の引火点予測などが…
中の分子の化学ポテンシャルを算出し、得られた 化学ポテンシャルを用いて、様々な平衡熱力学物性を算出します。 オプションとして、種々の溶媒分子を含む4000種類以上の有機化合物の 電荷分布データを収めたデータベースCOSMObaseも用意されていますので、 量子化学計算の手間を省くことも可能です。 【特長(Ver. C30 Release 17.01)】 ■純物質および混合物の...
メーカー・取り扱い企業: 株式会社モルシス
-
-
GENEVESTIGATORを使って様々な研究室から登録された数多くの…
Nebion社の遺伝子発現データベースオンライン解析ツールである『GENEVESTIGATOR』を用いて、血中のLLDコレステロール量の調節にとって重要な酵素であるPCSK9遺伝子の様々な組織、細胞株、ガンでの発現調節やいくつか...
メーカー・取り扱い企業: 株式会社モルシス
-
-
力場計算支援ソフトウエア『Direct Force Field』
材料科学、生命科学向け力場パラメータデータベースと量子化学計算をもとに…
ョンソフトウェアに付属する力場パラメータを利用して計算を行うと、しばしば直面する問題です。 Direct Force Fieldは、開発元の提供する高精度な力場パラメータを登録した力場パラメータデータベースと量子化学計算をもとにした力場パラメータ開発機能により、力場パラメータの問題を解決します。 ※機能などの詳細はカタログをご覧ください。 ...
メーカー・取り扱い企業: 株式会社モルシス
-
-
低分子化合物から生物製剤まで幅広い創薬モダリティに対応したクラウド型電…
ELM: モノマーを表す文字列を連結して高分子を表現する表記法 ■多様なテンプレート 実験の種類に応じて多様なテンプレートが利用できます。各テンプレートでは入力項目が定められており、実験データを過不足なく記録できます。 カスタマイズで新しいテンプレートを追加することも可能です。 ■導入が容易で費用も手頃なクラウドシステム アマゾンウェブサービス(AWS)などのクラウド上に...
メーカー・取り扱い企業: 株式会社モルシス
-
-
創薬モダリティの多様性に対応したソフトウェア《動画&資料 提供》
創薬モダリティに興味のある方必見! 3つのライフサイエンスソフトウェア…
します。 ・MOE 低分子、ペプチド、タンパク質、抗体、核酸のデザインとシミュレーションに対応した統合計算化学プラットフォーム ・Scilligence 多様な創薬モダリティの研究データに対応した研究情報管理統合プラットフォーム ・OFF-X 規制機関、学術論文、学術会議、企業等の情報源から収集された前臨床試験の毒性情報と臨床試験および市販後の安全性情報を統合し、解析機能...
メーカー・取り扱い企業: 株式会社モルシス
-
-
固体エネルギーバンド構造の詳細を計算するための事例について掲載!
を用いた 事例について報告します。 InAsのエネルギーバンド、特にその微細構造を例として、精度の高い 第一原理電子状態計算を用いることで、実験に匹敵する精度と信頼性を持つ 材料特性のデータが得られることを示しました。 【掲載内容】 ■結晶構造 ■バンド構造計算 ■まとめ ■参考文献 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。...
メーカー・取り扱い企業: 株式会社モルシス
-
-
GENEVESTIGATORを使ったプラットフォーム横断的な遺伝子発現…
Nebion社のPhilip Zimmermann、Jana Sponarova、Frank Staubliは、同社の遺伝子発現データベースオンライン解析ツールである『GENEVESTIGATOR』を用いて、IL-4Rαに対するモノクローナル抗体で阻害剤として働くデュピルマブの発現パターンを解析しました。 『GENEVES...
メーカー・取り扱い企業: 株式会社モルシス
-
-
安全性評価プラットフォーム『ChemTunes&ToxGPS』
医薬品、化粧品、食品業界の化合物の毒性額研究、安全性研究に利用できます
モルシスの『ChemTunes & ToxGPS』は、化合物の安全性評価と リスク評価のためのプラットフォームです。 毒性・安全性に関連するデータベース(ChemTunes)と、知識ベースを 含む予測・ワークフロー(ToxGPS)を統合しています。 医薬品、化粧品、食品、工業用およびその周辺化合物を対象としており、 化合物の毒性学...
メーカー・取り扱い企業: 株式会社モルシス
-
-
【書籍発刊】「MOE」を用いた創薬研究の効率化 ※抜刷進呈中
in silico創薬におけるソフトウェア活用の具体例としてCCG社の…
技術」が発刊されました。 本書には、コンピュータの処理能力の速さを活かしつつ、計算コスト増大の課題をいかに克服するか?という課題についてin silico創薬を成功に導く計算科学やスパコン、データベース構築の重要技術が満載されています。詳細な執筆者や目次については出版社のウェブサイトをご参照下さい。 第4章「in silico創薬におけるソフトウェア活用の具体例」の第2節で「MOE」...
メーカー・取り扱い企業: 株式会社モルシス
-
-
リガンドの結合様式を予測!より精度の高いモデル化と計算の高速化を実現!
【その他の特徴 】 ■高解像度の PDB データ 50 件をテストセットとして 86%以上で X 線結晶構造を再現 ■様々な分子系に適用可能(タンパク質-低分子、タンパク質-ペプチド、 タンパク質-糖、DNA-低分子など) ■ファーマコフ...
メーカー・取り扱い企業: 株式会社モルシス
-
-
安全性評価プラットフォーム『ChemTunes&ToxGPS』
予測結果を証拠の重み付けにより評価!全体の不確実性を最小限に抑える!
『ChemTunes&ToxGPS』は、化合物の安全性評価とリスク評価のための 毒性・安全性に関連するデータベース(ChemTunes)と、知識ベースの 予測・ワークフローシステム(ToxGPS)を統合したプラットフォームです。 QSARモデルとケモタイプ・アラートの両方の予測結果を証拠の重み付...
メーカー・取り扱い企業: 株式会社モルシス
-
-
MedeAユーザー会がフランスで開催されました!日本ではJFCCにて開…
テロ接合、酸化物表面と水との界面、 金属酸化物表面への高分子の付着を扱った例等を紹介 ・様々な系の適用例を俯瞰することで、界面を扱ううえでの共通する 留意点やテクニックが示唆 ・ビッグデータや機械学習といったマテリアルズインフォマティクスへの 取り組みや今後の開発動向を紹介 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。...
メーカー・取り扱い企業: 株式会社モルシス
-
-
バイオロジクス研究のためのタンパク質デザイン機能やタンパク質解析機能を…
「MOE」のタンパク質デザイン機能は、タンパク質立体構造データをもとに網羅的に変異体モデルを構築し、さらに変異による物性値への影響を予測します。 その他に、タンパク質解析の為の様々な機能が搭載されており、簡単に タンパク質の特性解析が行えます。 ...
メーカー・取り扱い企業: 株式会社モルシス
PR
-
細胞培養や微生物発酵の研究に!新型バイオリアクターHABITAT
本機一台で様々な用途に使用可能!新しいミキシング方式「カオスモ…
IKAジャパン株式会社 -
自動コロニーカウンター ※計測~レポート作成までを完全自動化!
豊富な計測事例!責任ある仕事に安心を!わずか数秒で正確に計測で…
株式会社写真化学 草津事業所 -
【SDGs対応】高温集塵フィルター『パイロスクリーン』
繰り返し使うことで環境負荷削減!金属製の高性能な高温集塵フィル…
株式会社布引製作所 本社 -
超純水装置『Aquanex』
セルフサービスデザインによる利便性だけでなく、インテリジェント…
サーモフィッシャーサイエンティフィック株式会社/Thermo Fisher Scientific K.K. -
キムテック ポラリスニトリル グローブ ※箱単位でサンプル進呈
キムテック史上最高レベルの保護性能と耐久性、人間工学に基づいた…
キムテック(Kimtech)・ビジネスユニット 旧キンバリークラーク・サイエンティフィックPPE事業部 -
Sorvall X Proハイパフォーマンスユニバーサル遠心機
【安全対策のポイントもご紹介】使うほどに遠心分離が楽しくなる、…
サーモフィッシャーサイエンティフィック株式会社/Thermo Fisher Scientific K.K. -
表面改質技術『COT処理』※検証動画公開
医薬品・食品の付着防止と滑り性改善に。皮膜剥落による異物混入リ…
千代田交易株式会社