はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
アドレスバーに 「s /hoge/fuga/g」などと入れてページ中のhogeをfugaに置換する | mattz.xii.jp
まぁ、めったにやることないと思うけど、要するにこういうの→“「ツイート」を「ツイート（笑）」に置換するブックマーク レット”を汎用的にしたやつ。「Opera用って時点で汎用的じゃない」っていうツッコミは受け付けるけど対応はしない。 準備 Operaの設定画面のウェブ検索タブを開く。 検索キーワード「s」はデフォルトだと「Opera Support」なので(残しておきたければ)「s」から別のキーワードに変える。 追加ボタンを押して検索エンジンの追加ダイアログを開く。 名前 何か適当な名前。replaceとか。 キーワード s アドレス javascript:var s='%s';var a=s.split('/');var g=new RegExp(a[1], a[3]);var r=document.evaluate("//text()[contains(., "+a[1]+")]", d
rel='next'なlink要素を強制的に付加するuser.js | mattz.xii.jp
Operaにはfastforwardという素敵な機能があって、真っ当なつくりのページであればこれで事足りるのですが、世の中真っ当なつくりのページというのはなかなかございませんもので、このようなものを作りました。 もちろん、extreme-fast-forward.jsなんていうものが既にあるこ とは百も承知なのですが、oAutoPagerizeが好みではないもので、SITEINFOとか導入してませんし。 やってることは、rel='next'なlink要素がない場合は、ページ内のリンクから次っぽいリンクを見つけて(※)、そのリンク先URLをnextページとしてrel='next'なlink要素を付加するというものです。 ※ちなみにa要素のinnerTextに「次」とか「つぎ」とか「Next」があればそのリンクは次のページへのリンクであろう、とか、a要素のinnerTextがなくて、a要素の中
Opera の右クリックイベント検出 - higeorange's blog
IE, Firefox, Safari だと var d = document.getElementById('hoge'); d.oncontextmenu = function(e) { if(window.event) event.returnValue = false; // for IE else e.preventDefault(); // なんらかの処理 } のようなコードで右クリックでコンテキストメニューを表示させないで処理を実行できる。 しかし Opera の場合、同じような動作を実現することはできない。 まずデフォルトの状態だと右クリックを JavaScript で検出することさえできない。 検出できるようにするには、 Preferences -> Advanced -> Content -> JavaScript Options -> Allow script to
新しいケストレル ベータ 2がやってきた - Choose Opera 日本支部 - by Choose Opera 日本支部
Uncategorized Android 用 Opera Mini – ビデオ用最速ブラウザ March 8th, 2016 Android 端末でビデオを見ようとして 1 日に何度読み込みが遅いと感じることがあるでしょうか。 Android 用 Opera Mini はこの問題を新機能「ビデオビースト」でビデオを最適化しビデオのサイズを小さくすることによって解決しました。この高速モバイルブラウザを未だお試しでなかったら Google Play ストアからダウンロードしてください Ericsson Mobility Report(PDF です) によると、2020 年までにモバイルでのデータの 55% はビデオになるとのことです。... Uncategorized NifMo に Opera Max が協力し通信量節約キャンペーン March 1st, 2016 Android 用データ
operaブラウザの新しいjavascriptエンジンcarakan - huixingの日記
operaが新しいjavascriptエンジンcarakanを開発している。現在のjavascriptエンジンであるfutharkはリリースされた時点では各種ブラウザの中で最速のエンジンだった。ただfutharkはjavascriptの実行スピードでの最高値を達成するよりもどちらかといえばコードのフットプリントとメモリー使用を最小限にするために開発されたものだった。これはoperaが様々なハードウェアで走るクロスプラットフォームという点においては間違っていない妥協方法ではあった。しかしweb環境は常に変化しており明日の先端のウェブアプリはもっと高速のjavascriptの実行を要求することから今回operaは再度ブラウザ・マーケットにおける最速のjavascriptエンジンを開発することを目指すことにしたもの。carakanの名前はその前身であるfutharkや線文字Aや線文字Bにならって
TechTarget - Global Network of Information Technology Websites and Contributors
Looking for information about Informa TechTarget products and services? The commercial homepage has moved. Visit Informa TechTarget News 22 Jul 2025 / Risk Management & Governance Federal research funding cuts could slow tech innovation With massive funding cuts proposed at both federal research agencies and U.S. universities, U.S. R&D investment is poised to fall behind China and the EU. 22 Jul 2
Opera's Developer Relations Team - Opera 10.60 moves to the beta zone
AI, Uncategorized This is what you can do with Opera Neon: The Next-Gen AI Agentic Browser July 18th, 2025 Discover Opera Neon, the first truly agentic AI browser. Build your own web apps and deploy AI agents to automate... Mindfulness, Opera Air Opera Air’s Take a Break feature now comes with new break reminder options July 17th, 2025 Hey all, We’re back with another update to Opera Air, our brow
【速報】Opera新JavaScriptエンジンCarakan発表、50倍高速化も | エンタープライズ | マイコミジャーナル
Opera Software WebブラウザにおけるJavaScript実行性能は、Webブラウザそのものの評価に直結する機能になってきている。実装競争も加速中だ。FirefoxもSafari / Chrome (WebKit)も次期JavaScriptエンジンは現在のものよりもドラスティックな高速化が見込まれている。 主要なプレーヤとして熱狂的なファンを抱えているブラウザだが、これまでJavaScriptエンジン競争に積極的に参加していないものがあった。Operaだ。しかし4日(ノルウェー時間)、Carakan - By Opera Core ConvernsにおいてOperaの次期JavaScriptエンジンが明らかにされた。Carakanはこの数カ月の間に数名の開発者とテスタで組まれたチームによって開発された新しいJavaScriptエンジンと説明されている。 Carakanと、従来
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Opera9.2から9.5でのJavaScript周りの変更点 - os0x.blog
結構な重要な変更があるんですが、OperaのChangelogにそれらが抜けていたり、わかりにくい部分があるのでまとめてみます*1。 Opera 9.5 for Windows Changelog(原文:Opera 9.5 for Windows Changelog)の補足的なエントリになります。 JSONPが非同期リクエストに修正 JSONP が Opera だと非同期処理できない - 2nd lifeの件で、Operaでも非同期リクエストが並列処理できる img-JSONP | TAKESAKO @ Yet another Cybozu LabsのようなBKも生まれていた困った動作がようやく改善されました。最速インターフェース研究会 :: OperaでJSONPを非同期リクエストするのサンプルで、タイマーが止まらないことを確認できます。(なんでChangelogにないんだ…) Arra
Opera9.2系は配列を後ろから埋めていくと遅い？！ - m2
先日の「配列からn個の要素を重複無しでランダムに取り出す」の del.icio.us コメントより。 配列を後ろから埋めていく処理はOperaで実行するとやたら時間がかかったような気がします。 BNJ http://del.icio.us/url/6144e2f982e69a940e7ab74d8c319d78 うっそだーｗｗｗそんなことあるはずないよｗｗｗ javascript:(function(){function bench(f) {return function() {var start = new Date();f.apply(null, arguments);alert(new Date() - start + ' (ms)');}}var num = 30000;bench(function(n) {var a = new Array(n);for (var i = 0;
ウェブブラウザ Opera | 高速かつ安全な多機能ブラウザ | 無料ダウンロード
自分だけのブラウザ デフォルトブラウザよりも速く、安全でスマートなOperaブラウザ。プライバシー、セキュリティ、オンラインで行うすべてのことに対応したフル もっと見る
OperaでNoScriptが実現された日。 - あまたの何かしら。
id:edvakfさんのところで紹介されたブログ、Operaised -- The blogを見ていたら、My userjs/modified userjsというエントリーを発見。つらつらと見ていたら、何気にすごいものがありましたよ。 blockscripts.js Allows you to block javascript on the site but allow userjs on the page. Ctrl Alt and click allows javascript on for that tab so it can still work. え、これは何って？ JavaScript無効化した上でUserJSが使えるUserJSですよ、奥さん！ 今までは、サイト設定の編集で各サイトごとでJavaScriptを無効化したり、Ultimate blockageっていうのでひとつひ
Opera の id, name 問題 - IT戦記
Opera たん… getElementsByName で id もとれる // <input name="foo" id="bar" /> // <input name="bar" id="foo" /> var elms = document.getElementsByName('foo'); alert(elms.length); // 2 ( id="foo" のほうも選択しちゃう ) getElementById で name だけとれる // <input name="foo" id="bar" /> // <input name="bar" id="foo" /> var elm = document.getElementById('foo'); alert(elm.id); // bar
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
